Skip to content

Actions: flupe/agda2lambox

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
30 workflow runs
30 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

early support for user input Nix CI #29: Commit 3e470f1 pushed by flupe
56s wasm-input
wasm-input
56s
Require dependencies when inductives are in types Nix CI #28: Commit a50bf2a pushed by flupe
51s issue20
issue20
51s
correctly create nested folders Nix CI #27: Commit 5a67d6d pushed by flupe
40s master
master
40s
correctly create nested folders CI #1: Commit 5a67d6d pushed by flupe
18m 9s master
master
18m 9s
update readme Nix CI #26: Commit ce6172c pushed by flupe
1m 24s master
master
1m 24s
good riddance compilation queue Nix CI #25: Commit 5daf7c8 pushed by flupe
46s full
full
46s
use dev version of agda for treeless pipeline Nix CI #24: Commit d0300fa pushed by flupe
1m 20s master
master
1m 20s
backup Nix CI #23: Commit bd0e988 pushed by flupe
1m 35s master
master
1m 35s
backup Nix CI #22: Commit 6aba0c6 pushed by flupe
1m 19s master
master
1m 19s
backup Nix CI #21: Commit 19896cd pushed by flupe
1m 24s master
master
1m 24s
actually do generate projections Nix CI #20: Commit 441a358 pushed by flupe
1m 36s master
master
1m 36s
actually do generate projections Nix CI #19: Commit 28e9e6a pushed by flupe
1m 55s master
master
1m 55s
fully-apply constructors Nix CI #18: Commit 048e4a3 pushed by flupe
1m 36s master
master
1m 36s
evaluate programs in coq Nix CI #17: Commit 54ed5b8 pushed by flupe
1m 59s master
master
1m 59s
basic support for lit naturals Nix CI #16: Commit cc197d2 pushed by flupe
1m 43s master
master
1m 43s
prove correctness of wf check Nix CI #15: Commit 3bd489c pushed by flupe
1m 37s master
master
1m 37s
prove correctness of wf check Nix CI #14: Commit 7630f0e pushed by flupe
1m 46s master
master
1m 46s
update todos Nix CI #13: Commit c6bb335 pushed by flupe
1m 43s master
master
1m 43s
add _CoqProject, check wf of generated programs Nix CI #12: Commit 31e3611 pushed by flupe
1m 39s master
master
1m 39s
prove decidability of kername freshness Nix CI #11: Commit bef0d1d pushed by flupe
2m 10s master
master
2m 10s
basic record support Nix CI #10: Commit e2c784a pushed by flupe
1m 38s master
master
1m 38s
coq automation ftw Nix CI #9: Commit badb8c2 pushed by flupe
1m 34s master
master
1m 34s
change to Equations Nix CI #8: Commit b1f0b65 pushed by flupe
1m 34s master
master
1m 34s
coq skills are lacking Nix CI #7: Commit 407e545 pushed by flupe
1m 34s master
master
1m 34s
improve records pp, drop imports Nix CI #6: Commit 2b55d02 pushed by flupe
1m 40s master
master
1m 40s