Skip to content

Actions: tweag/nickel

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Track Benchmarks with Bencher
Track Benchmarks with Bencher #482: completed by KiaraGrouwstra
December 24, 2024 13:44 14s
December 24, 2024 13:44 14s
Continuous integration
Continuous integration #6196: Merge group checks requested
December 24, 2024 13:22 23m 25s
December 24, 2024 13:22 23m 25s
pass thru feature nix-experimental
Continuous integration #6195: Pull request #2132 opened by KiaraGrouwstra
December 24, 2024 13:13 27m 39s KiaraGrouwstra:import-nix
December 24, 2024 13:13 27m 39s
pass thru feature nix-experimental
benchmark pull requests #492: Pull request #2132 opened by KiaraGrouwstra
December 24, 2024 13:13 27m 32s KiaraGrouwstra:import-nix
December 24, 2024 13:13 27m 32s
Track Benchmarks with Bencher
Track Benchmarks with Bencher #481: completed by jneem
December 24, 2024 09:20 22s
December 24, 2024 09:20 22s
Track Benchmarks with Bencher
Track Benchmarks with Bencher #480: completed by jneem
December 24, 2024 09:16 15s
December 24, 2024 09:16 15s
Add the package std module
benchmark pull requests #491: Pull request #2104 edited by jneem
December 24, 2024 09:06 13m 32s std-package
December 24, 2024 09:06 13m 32s
Add the package std module
Continuous integration #6194: Pull request #2104 synchronize by jneem
December 24, 2024 09:02 13m 14s std-package
December 24, 2024 09:02 13m 14s
Add the package std module
benchmark pull requests #490: Pull request #2104 synchronize by jneem
December 24, 2024 09:02 13m 48s std-package
December 24, 2024 09:02 13m 48s
[RFC007] Extract runtime contract equality out of typecheck (#2130)
Continuous integration #6193: Commit cae9894 pushed by github-merge-queue bot
December 24, 2024 09:01 6m 5s master
December 24, 2024 09:01 6m 5s
[RFC007] Extract runtime contract equality out of typecheck (#2130)
benchmark master #80: Commit cae9894 pushed by github-merge-queue bot
December 24, 2024 09:01 7m 50s master
December 24, 2024 09:01 7m 50s
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
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
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
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
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
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
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
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
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
December 23, 2024 16:25 13m 56s