Skip to content

Actions: tweag/nickel

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
[RFC007] Cleanup post "typechecker migration, part I" Continuous integration #6182: Pull request #2129 synchronize by yannham
December 23, 2024 13:32 14m 39s rfc007/typechecking-traits
rfc007/typechecking-traits
December 23, 2024 13:32 14m 39s
Track Benchmarks with Bencher Track Benchmarks with Bencher #473: completed by yannham
December 23, 2024 13:15 23s
December 23, 2024 13:15 23s
[RFC007] Cleanup post "typechecker migration, part I" benchmark pull requests #483: Pull request #2129 opened by yannham
December 23, 2024 13:01 14m 3s rfc007/typechecking-traits
rfc007/typechecking-traits
December 23, 2024 13:01 14m 3s
[RFC007] Cleanup post "typechecker migration, part I" Continuous integration #6181: Pull request #2129 opened by yannham
December 23, 2024 13:01 5m 41s rfc007/typechecking-traits
rfc007/typechecking-traits
December 23, 2024 13:01 5m 41s
[RFC007] Migrate the typechecker to the new AST - Part I (#2121) Continuous integration #6180: Commit 002f0fc pushed by github-merge-queue bot
December 23, 2024 11:07 5m 9s master
master
December 23, 2024 11:07 5m 9s
[RFC007] Migrate the typechecker to the new AST - Part I (#2121) benchmark master #77: Commit 002f0fc pushed by github-merge-queue bot
December 23, 2024 11:07 7m 44s master
master
December 23, 2024 11:07 7m 44s
Continuous integration Continuous integration #6179: Merge group checks requested
December 23, 2024 11:05 5m 33s
December 23, 2024 11:05 5m 33s
github_actions in /. - Update #936472559 Dependabot Updates #15: by dependabot bot
December 23, 2024 00:20 38s master
master
December 23, 2024 00:20 38s
Track Benchmarks with Bencher Track Benchmarks with Bencher #472: completed by yannham
December 22, 2024 00:49 15s
December 22, 2024 00:49 15s
Track Benchmarks with Bencher Track Benchmarks with Bencher #471: completed by yannham
December 22, 2024 00:49 16s
December 22, 2024 00:49 16s
flake.lock: Update benchmark pull requests #482: Pull request #1963 edited by yannham
December 22, 2024 00:13 36m 8s update_flake_lock_action
update_flake_lock_action
December 22, 2024 00:13 36m 8s