Skip to content

Actions: agda/agda2lambox

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
177 workflow runs
177 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

add support for nat literals Nix CI #45: Commit 93e5cc8 pushed by flupe
1m 17s master
master
1m 17s
cleanup Nix CI #44: Commit 3172836 pushed by flupe
1m 34s master
master
1m 34s
update todos, it's the weekend Nix CI #43: Commit c93dfa3 pushed by flupe
1m 41s master
master
1m 41s
perform bfs to fetch all required definitions Nix CI #42: Commit 2c1c75c pushed by flupe
1m 33s master
master
1m 33s
added compile monad with compile queue Nix CI #41: Commit c562123 pushed by flupe
1m 49s master
master
1m 49s
properly discard with-generated in mutuals Nix CI #40: Commit b3bbf0b pushed by flupe
1m 33s master
master
1m 33s
properly discard with-generated in mutuals Nix CI #39: Commit dbdc836 pushed by flupe
1m 58s master
master
1m 58s
pattern-lambdas seem to work Nix CI #38: Commit 0f82224 pushed by flupe
1m 39s master
master
1m 39s
unify record & datatype compilation Nix CI #37: Commit fb07292 pushed by flupe
1m 42s master
master
1m 42s
cleanup imports Nix CI #36: Commit e036f9b pushed by flupe
1m 37s master
master
1m 37s
add back basic type compilation Nix CI #35: Commit a365562 pushed by flupe
2m 33s master
master
2m 33s
hide term compilation monad Nix CI #34: Commit b36ad4f pushed by flupe
2m 0s master
master
2m 0s
almost done with cleaning up Nix CI #33: Commit 1107ae3 pushed by flupe
1m 32s master
master
1m 32s
almost done with cleaning up Nix CI #32: Commit d31e6d3 pushed by flupe
1m 23s master
master
1m 23s
start cleaning up Nix CI #31: Commit c1d3e1f pushed by flupe
1m 39s master
master
1m 39s
support mutual inductives Nix CI #30: Commit 03d66fd pushed by flupe
2m 11s master
master
2m 11s
reinstate debug printing Nix CI #29: Commit db449e3 pushed by flupe
43s master
master
43s
backup Nix CI #28: Commit bd0e988 pushed by flupe
1m 41s master
master
1m 41s
reinstate debug printing Nix CI #27: Commit db449e3 pushed by flupe
1m 41s master
master
1m 41s
more notes Nix CI #26: Commit c7bf582 pushed by flupe
1m 33s master
master
1m 33s
add notes Nix CI #25: Commit 0074118 pushed by flupe
1m 34s master
master
1m 34s
actually do generate projections Nix CI #24: Commit 441a358 pushed by flupe
1m 38s master
master
1m 38s
fully-apply constructors Nix CI #23: Commit 048e4a3 pushed by flupe
1m 34s master
master
1m 34s
coq automation ftw Nix CI #22: Commit badb8c2 pushed by flupe
1m 38s master
master
1m 38s
support one-inductive datatypes Nix CI #21: Commit d95928f pushed by liesnikov
1m 31s flupe/master
flupe/master
1m 31s