8000 Nix CI · Workflow runs · agda/agda2lambox · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Actions: agda/agda2lambox

Actions

Nix CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nix-ci.yml
This workflow was disabled manually.
52 workflow runs
52 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Nix CI Nix CI #52: Manually run by liesnikov
January 24, 2025 11:44 19m 37s agda-override
agda-override
January 24, 2025 11:44 19m 37s
i give up Nix CI #51: Commit 47f7981 pushed by liesnikov
January 24, 2025 10:50 1m 19s agda-override
agda-override
January 24, 2025 10:50 1m 19s
Nix CI Nix CI #50: Manually run by liesnikov
January 24, 2025 10:46 45s agda-override
agda-override
January 24, 2025 10:46 45s
Nix CI Nix CI #49: Manually run by liesnikov
January 24, 2025 10:11 1m 19s agda-override
agda-override
January 24, 2025 10:11 1m 19s
Nix CI Nix CI #48: Manually run by liesnikov
January 24, 2025 09:57 1m 27s agda-override
agda-override
January 24, 2025 09:57 1m 27s
Nix CI Nix CI #47: Manually run by liesnikov
January 23, 2025 15:55 12m 25s agda-override
agda-override
January 23, 2025 15:55 12m 25s
update readme Nix CI #46: Commit ce6172c pushed by flupe
January 20, 2025 12:53 1m 29s master
master
January 20, 2025 12:53 1m 29s
add support for nat literals Nix CI #45: Commit 93e5cc8 pushed by flupe
January 20, 2025 12:48 1m 17s master
master
January 20, 2025 12:48 1m 17s
cleanup Nix CI #44: Commit 3172836 pushed by flupe
January 20, 2025 08:50 1m 34s master
master
January 20, 2025 08:50 1m 34s
update todos, it's the weekend Nix CI #43: Commit c93dfa3 pushed by flupe
January 17, 2025 18:15 1m 41s master
master
January 17, 2025 18:15 1m 41s
perform bfs to fetch all required definitions Nix CI #42: Commit 2c1c75c pushed by flupe
January 17, 2025 17:47 1m 33s master
master
January 17, 2025 17:47 1m 33s
added compile monad with compile queue Nix CI #41: Commit c562123 pushed by flupe
January 17, 2025 16:35 1m 49s master
master
January 17, 2025 16:35 1m 49s
properly discard with-generated in mutuals Nix CI #40: Commit b3bbf0b pushed by flupe
January 17, 2025 14:52 1m 33s master
master
January 17, 2025 14:52 1m 33s
properly discard with-generated in mutuals Nix CI #39: Commit dbdc836 pushed by flupe
January 17, 2025 14:46 1m 58s master
master
January 17, 2025 14:46 1m 58s
pattern-lambdas seem to work Nix CI #38: Commit 0f82224 pushed by flupe
January 17, 2025 14:06 1m 39s master
master
January 17, 2025 14:06 1m 39s
unify record & datatype compilation Nix CI #37: Commit fb07292 pushed by flupe
January 17, 2025 13:55 1m 42s master
master
January 17, 2025 13:55 1m 42s
cleanup imports Nix CI #36: Commit e036f9b pushed by flupe
January 17, 2025 12:09 1m 37s master
master
January 17, 2025 12:09 1m 37s
add back basic type compilation Nix CI #35: Commit a365562 pushed by flupe
January 17, 2025 11:49 2m 33s master
master
January 17, 2025 11:49 2m 33s
hide term compilation monad Nix CI #34: Commit b36ad4f pushed by flupe
January 17, 2025 09:35 2m 0s master
master
January 17, 2025 09:35 2m 0s
almost done with cleaning up Nix CI #33: Commit 1107ae3 pushed by flupe
January 16, 2025 15:46 1m 32s master
master
January 16, 2025 15:46 1m 32s
almost done with cleaning up Nix CI #32: Commit d31e6d3 pushed by flupe
January 16, 2025 15:42 1m 23s master
master
January 16, 2025 15:42 1m 23s
start cleaning up Nix CI #31: Commit c1d3e1f pushed by flupe
January 16, 2025 11:53 1m 39s master
master
January 16, 2025 11:53 1m 39s
support mutual inductives Nix CI #30: Commit 03d66fd pushed by flupe
January 16, 2025 09:57 2m 11s master
master
January 16, 2025 09:57 2m 11s
reinstate debug printing Nix CI #29: Commit db449e3 pushed by flupe
January 15, 2025 15:41 43s master
master
January 15, 2025 15:41 43s
backup Nix CI #28: Commit bd0e988 pushed by flupe
January 15, 2025 15:40 1m 41s master
master
January 15, 2025 15:40 1m 41s
1D66
0