Skip to content

Actions: agda/agda2lambox

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
33 workflow runs
33 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
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
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
improve textual pp CI #14: Commit f981cba pushed by flupe
January 23, 2025 10:35 2m 43s master
master
January 23, 2025 10:35 2m 43s
fix zero pattern, more work on types CI #13: Commit 471938e pushed by flupe
January 23, 2025 09:26 2m 57s master
master
January 23, 2025 09:26 2m 57s
compile data type info CI #12: Commit a293ff8 pushed by flupe
January 22, 2025 16:00 2m 52s master
master
January 22, 2025 16:00 2m 52s
add proper located errors CI #11: Commit c6c78d8 pushed by flupe
January 22, 2025 14:33 2m 49s master
master
January 22, 2025 14:33 2m 49s
use Agda logging CI #10: Commit 608ce8b pushed by flupe
January 22, 2025 10:03 12m 23s master
master
January 22, 2025 10:03 12m 23s
compile primitives to axioms, require Nat for literals CI #9: Commit a9a800f pushed by flupe
January 22, 2025 09:35 2m 44s master
master
January 22, 2025 09:35 2m 44s