Skip to content

Actions: hargoniX/Leanwuzla

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
41 workflow runs
41 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
update to nightly Lean Action CI #182: Commit c4a8e83 pushed by hargoniX
1m 8s main
main
1m 8s
update to SymM based nightly Lean Action CI #181: Pull request #39 opened by hargoniX
1m 13s hbv/sym_run
hbv/sym_run
1m 13s
update to nightly Lean Action CI #180: Commit 7bed317 pushed by hargoniX
1m 21s hbv/sym_run
hbv/sym_run
1m 21s
next one Lean Action CI #179: Commit 551b16c pushed by hargoniX
1m 24s hbv/sym_run
hbv/sym_run
1m 24s
bump toolchain Lean Action CI #178: Commit b6b85fd pushed by hargoniX
1m 25s hbv/sym_run
hbv/sym_run
1m 25s
bump toolchain Lean Action CI #177: Commit df99280 pushed by hargoniX
1m 40s hbv/sym_run
hbv/sym_run
1m 40s
prepare run1 Lean Action CI #176: Commit dfc4cc5 pushed by hargoniX
1m 13s hbv/sym_run
hbv/sym_run
1m 13s
experiment Lean Action CI #175: Commit 2fea2ea pushed by hargoniX
38s hbv/sym_experiment
hbv/sym_experiment
38s
feat: streaming SMT-LIB driver with a LocalContext-based parser Lean Action CI #174: Pull request #38 opened by abdoo8080
1m 13s abdoo8080:driver
abdoo8080:driver
1m 13s
feat: overflow support Lean Action CI #173: Commit 8faa0a8 pushed by hargoniX
59s main
main
59s
feat: overflow support Lean Action CI #172: Pull request #37 opened by hargoniX
1m 5s hbv/overflow
hbv/overflow
1m 5s
feat: overflow support Lean Action CI #171: Commit 64355d6 pushed by hargoniX
1m 13s hbv/overflow
hbv/overflow
1m 13s
feat: support get-model and print SMT-LIB models Lean Action CI #170: Commit 751ea34 pushed by hargoniX
1m 3s main
main
1m 3s
feat: support get-model and print SMT-LIB models Lean Action CI #169: Pull request #35 synchronize by abdoo8080
1m 2s abdoo8080:model
abdoo8080:model
1m 2s
chore: use PR toolchain Lean Action CI #168: Commit 6dd4bac pushed by hargoniX
1m 33s ite
ite
1m 33s
chore: update toolchain Lean Action CI #167: Commit 9423f50 pushed by hargoniX
1m 18s main
main
1m 18s
chore: update references from SMT-LIB 2024 to 2025 Lean Action CI #166: Commit 979ca0d pushed by hargoniX
1m 19s main
main
1m 19s
chore: update references from SMT-LIB 2024 to 2025 Lean Action CI #165: Pull request #36 opened by abdoo8080
1m 6s abdoo8080-patch-1
abdoo8080-patch-1
1m 6s
chore: update references from SMT-LIB 2024 to 2025 Lean Action CI #164: Commit f2279fc pushed by abdoo8080
1m 0s abdoo8080-patch-1
abdoo8080-patch-1
1m 0s
Update SMT-LIB version references in main.typ Lean Action CI #163: Commit b944767 pushed by abdoo8080
1m 5s abdoo8080-patch-1
abdoo8080-patch-1
1m 5s
feat: support get-model and print SMT-LIB models Lean Action CI #162: Pull request #35 opened by abdoo8080
1m 4s abdoo8080:model
abdoo8080:model
1m 4s
2026 draft Lean Action CI #161: Commit bf06c58 pushed by hargoniX
1m 5s smtcomp2026
smtcomp2026
1m 5s
2026 draft Lean Action CI #160: Commit bf06c58 pushed by hargoniX
1m 5s main
main
1m 5s
chore: update leanwuzla Lean Action CI #159: Commit 4fb64ea pushed by hargoniX
3m 48s main
main
3m 48s
feat: add initial support for QF_FP Lean Action CI #158: Pull request #31 synchronize by abdoo8080
3m 27s abdoo8080:fp
abdoo8080:fp
3m 27s