Skip to content

Actions: tweag/nickel

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

github_actions in /. - Update #938048618
Dependabot Updates #17: by dependabot bot
December 25, 2024 00:44 42s master
December 25, 2024 00:44 42s
Do deep eval for doctests (#2110)
Continuous integration #6197: Commit 691a522 pushed by github-merge-queue bot
December 24, 2024 13:46 4m 18s master
December 24, 2024 13:46 4m 18s
Do deep eval for doctests (#2110)
benchmark master #81: Commit 691a522 pushed by github-merge-queue bot
December 24, 2024 13:46 7m 45s master
December 24, 2024 13:46 7m 45s
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