Skip to content

Actions: agda/agda2lambox

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
85 workflow runs
85 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

disable simplify, compile logical to box CI #33: Commit 4aa1fc0 pushed by flupe
February 5, 2025 15:23 3m 6s master
master
February 5, 2025 15:23 3m 6s
add flag for disabling blocks translation CI #32: Commit c6bb603 pushed by flupe
January 31, 2025 11:46 2m 54s master
master
January 31, 2025 11:46 2m 54s
add support for primitives CI #31: Commit 66dee97 pushed by flupe
January 30, 2025 16:19 3m 7s master
master
January 30, 2025 16:19 3m 7s
actually topo sort defs CI #30: Commit e0dfe3d pushed by flupe
January 30, 2025 10:30 2m 52s master
master
January 30, 2025 10:30 2m 52s
add basic name sanitization CI #29: Commit e5fd026 pushed by flupe
January 29, 2025 18:08 3m 6s master
master
January 29, 2025 18:08 3m 6s
Bigger demo + quickfix for PSeq CI #28: Commit 56dbdf8 pushed by omelkonian
January 29, 2025 17:05 2m 52s master
master
January 29, 2025 17:05 2m 52s
fix lazy io stuff CI #27: Commit 9eb8875 pushed by flupe
January 29, 2025 13:24 3m 6s master
master
January 29, 2025 13:24 3m 6s
added flag for rocq/ast output CI #26: Commit 8705a83 pushed by flupe
January 29, 2025 09:55 2m 45s master
master
January 29, 2025 09:55 2m 45s
don't compile copies, unfold defs CI #25: Commit b23c3c6 pushed by flupe
January 28, 2025 17:39 2m 52s master
master
January 28, 2025 17:39 2m 52s
drop where defs at first CI #24: Commit 73c208c pushed by flupe
January 28, 2025 17:08 2m 42s master
master
January 28, 2025 17:08 2m 42s
refactor type compilation CI #23: Commit d9d2958 pushed by flupe
January 27, 2025 15:50 3m 40s master
master
January 27, 2025 15:50 3m 40s
add prettyprinting to sexpr CI #22: Commit 731ac04 pushed by flupe
January 27, 2025 11:11 3m 31s master
master
January 27, 2025 11:11 3m 31s
document what the issue is with upstream treeless CI #21: Commit f35602a pushed by flupe
January 24, 2025 17:29 2m 59s master
master
January 24, 2025 17:29 2m 59s
fix bug in eta-expansion of constructors CI #20: Commit cc26686 pushed by flupe
January 24, 2025 16:51 2m 53s master
master
January 24, 2025 16:51 2m 53s
fix compilation of case with unreachable branches CI #19: Commit e6df1ef pushed by flupe
January 24, 2025 14:31 2m 52s master
master
January 24, 2025 14:31 2m 52s
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
unify compilation of record and data CI #18: Commit 682e626 pushed by flupe
January 24, 2025 09:45 2m 55s master
master
January 24, 2025 09:45 2m 55s
types CI #17: Commit aeba5cf pushed by flupe
January 23, 2025 19:23 3m 14s master
master
January 23, 2025 19:23 3m 14s
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
remove outdated comment CI #16: Commit 821840d pushed by flupe
January 23, 2025 11:44 2m 38s master
master
January 23, 2025 11:44 2m 38s
properly compile constructor arg types CI #15: Commit 162f8b1 pushed by flupe
January 23, 2025 11:41 3m 52s master
master
January 23, 2025 11:41 3m 52s