Skip to content

Actions: tweag/nickel

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
4,175 workflow runs
4,175 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Track Benchmarks with Bencher Track Benchmarks with Bencher #479: completed by yannham
December 24, 2024 09:00 17s
December 24, 2024 09:00 17s
Continuous integration Continuous integration #6192: Merge group checks requested
December 24, 2024 09:00 6m 41s
December 24, 2024 09:00 6m 41s
[RFC007] Extract runtime contract equality out of typecheck benchmark pull requests #489: Pull request #2130 synchronize by yannham
December 24, 2024 08:46 13m 59s rfc007/extract-contract-dedup
rfc007/extract-contract-dedup
December 24, 2024 08:46 13m 59s
[RFC007] Extract runtime contract equality out of typecheck Continuous integration #6191: Pull request #2130 synchronize by yannham
December 24, 2024 08:46 13m 38s rfc007/extract-contract-dedup
rfc007/extract-contract-dedup
December 24, 2024 08:46 13m 38s
Track Benchmarks with Bencher Track Benchmarks with Bencher #478: completed by jneem
December 24, 2024 03:04 20s
December 24, 2024 03:04 20s
Do deep eval for doctests benchmark pull requests #488: Pull request #2110 synchronize by jneem
December 24, 2024 02:50 13m 51s doctest-deep-eq
doctest-deep-eq
December 24, 2024 02:50 13m 51s
Do deep eval for doctests Continuous integration #6190: Pull request #2110 synchronize by jneem
December 24, 2024 02:50 13m 40s doctest-deep-eq
doctest-deep-eq
December 24, 2024 02:50 13m 40s
Freeze records on insert/remove/update. (#2131) benchmark master #79: Commit 77e355a pushed by github-merge-queue bot
December 24, 2024 02:17 7m 47s master
master
December 24, 2024 02:17 7m 47s
Freeze records on insert/remove/update. (#2131) Continuous integration #6189: Commit 77e355a pushed by github-merge-queue bot
December 24, 2024 02:17 4m 35s master
master
December 24, 2024 02:17 4m 35s
Continuous integration Continuous integration #6188: Merge group checks requested
December 24, 2024 02:16 4m 40s
December 24, 2024 02:16 4m 40s
github_actions in /. - Update #937507907 Dependabot Updates #16: by dependabot bot
December 24, 2024 00:25 35s master
master
December 24, 2024 00:25 35s
Track Benchmarks with Bencher Track Benchmarks with Bencher #477: completed by jneem
December 23, 2024 16:39 1m 6s
December 23, 2024 16:39 1m 6s
Freeze records on insert/remove/update. Continuous integration #6187: Pull request #2131 synchronize by jneem
December 23, 2024 16:25 14m 25s freeze-em
freeze-em
December 23, 2024 16:25 14m 25s
Freeze records on insert/remove/update. benchmark pull requests #487: Pull request #2131 synchronize by jneem
December 23, 2024 16:25 13m 56s freeze-em
freeze-em
December 23, 2024 16:25 13m 56s
Track Benchmarks with Bencher Track Benchmarks with Bencher #476: completed by jneem
December 23, 2024 16:14 23s
December 23, 2024 16:14 23s
Freeze records on insert/remove/update. Continuous integration #6186: Pull request #2131 opened by jneem
December 23, 2024 16:00 5m 14s freeze-em
freeze-em
December 23, 2024 16:00 5m 14s
Freeze records on insert/remove/update. benchmark pull requests #486: Pull request #2131 opened by jneem
December 23, 2024 16:00 13m 39s freeze-em
freeze-em
December 23, 2024 16:00 13m 39s
Track Benchmarks with Bencher Track Benchmarks with Bencher #475: completed by yannham
December 23, 2024 15:30 18s
December 23, 2024 15:30 18s
[RFC007] Extract runtime contract equality out of typecheck Continuous integration #6185: Pull request #2130 opened by yannham
December 23, 2024 15:16 13m 10s rfc007/extract-contract-dedup
rfc007/extract-contract-dedup
December 23, 2024 15:16 13m 10s
[RFC007] Extract runtime contract equality out of typecheck benchmark pull requests #485: Pull request #2130 opened by yannham
December 23, 2024 15:16 13m 48s rfc007/extract-contract-dedup
rfc007/extract-contract-dedup
December 23, 2024 15:16 13m 48s
Implements main typechecking functions as traits (#2129) Continuous integration #6184: Commit 026e43b pushed by github-merge-queue bot
December 23, 2024 14:49 5m 33s master
master
December 23, 2024 14:49 5m 33s
Implements main typechecking functions as traits (#2129) benchmark master #78: Commit 026e43b pushed by github-merge-queue bot
December 23, 2024 14:49 7m 39s master
master
December 23, 2024 14:49 7m 39s
Continuous integration Continuous integration #6183: Merge group checks requested
December 23, 2024 14:47 5m 44s
December 23, 2024 14:47 5m 44s
Track Benchmarks with Bencher Track Benchmarks with Bencher #474: completed by yannham
December 23, 2024 13:46 24s
December 23, 2024 13:46 24s
[RFC007] Cleanup post "typechecker migration, part I" benchmark pull requests #484: Pull request #2129 synchronize by yannham
December 23, 2024 13:32 13m 56s rfc007/typechecking-traits
rfc007/typechecking-traits
December 23, 2024 13:32 13m 56s