Skip to content

Actions: tweag/nickel

Actions

Continuous integration

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
continuous-integration.yml
1,702 workflow runs
1,702 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Continuous integration Continuous integration #6199: Merge group checks requested
December 26, 2024 01:55 6m 19s
December 26, 2024 01:55 6m 19s
pass thru feature nix-experimental Continuous integration #6198: Pull request #2132 synchronize by KiaraGrouwstra
December 25, 2024 17:56 18m 48s KiaraGrouwstra:import-nix
KiaraGrouwstra:import-nix
December 25, 2024 17:56 18m 48s
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
master
December 24, 2024 13:46 4m 18s
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
KiaraGrouwstra:import-nix
December 24, 2024 13:13 27m 39s
Add the package std module Continuous integration #6194: Pull request #2104 synchronize by jneem
December 24, 2024 09:02 13m 14s std-package
std-package
December 24, 2024 09:02 13m 14s
[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
master
December 24, 2024 09:01 6m 5s
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 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
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) 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
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. 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
[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
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
Continuous integration Continuous integration #6183: Merge group checks requested
December 23, 2024 14:47 5m 44s
December 23, 2024 14:47 5m 44s
[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
[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
Continuous integration Continuous integration #6179: Merge group checks requested
December 23, 2024 11:05 5m 33s
December 23, 2024 11:05 5m 33s
flake.lock: Update Continuous integration #6178: Pull request #1963 synchronize by yannham
December 22, 2024 00:13 7m 54s update_flake_lock_action
update_flake_lock_action
December 22, 2024 00:13 7m 54s
[RFC007] Migrate the typechecker to the new AST - Part I Continuous integration #6177: Pull request #2121 synchronize by yannham
December 20, 2024 19:32 15m 19s rfc007/typechecking
rfc007/typechecking
December 20, 2024 19:32 15m 19s
[RFC007] Migrate the typechecker to the new AST - Part I Continuous integration #6176: Pull request #2121 synchronize by yannham
December 20, 2024 19:24 6m 43s rfc007/typechecking
rfc007/typechecking
December 20, 2024 19:24 6m 43s
[RFC007] Migrate the typechecker to the new AST - Part I Continuous integration #6175: Pull request #2121 synchronize by yannham
December 20, 2024 19:14 4m 34s rfc007/typechecking
rfc007/typechecking
December 20, 2024 19:14 4m 34s