Skip to content

Actions: hargoniX/Leanwuzla

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
71 workflow runs
71 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
chore: support changing SAT solver config from CLI Lean Action CI #157: Commit 4bb7fb1 pushed by hargoniX
1m 31s main
main
1m 31s
chore: support changing SAT solver config from CLI Lean Action CI #156: Pull request #34 synchronize by abdoo8080
1m 16s abdoo8080:SAT-config
abdoo8080:SAT-config
1m 16s
chore: support changing SAT solver config from CLI Lean Action CI #155: Pull request #34 opened by abdoo8080
1m 14s abdoo8080:SAT-config
abdoo8080:SAT-config
1m 14s
chore: backout module system Lean Action CI #154: Commit 6844507 pushed by hargoniX
1m 0s main
main
1m 0s
chore: fix declare-const handling in parser (#33) Lean Action CI #153: Commit 2bd4f48 pushed by abdoo8080
1m 5s main
main
1m 5s
chore: fix declare-const handling in parser Lean Action CI #152: Pull request #33 opened by abdoo8080
1m 13s abdoo8080:parser-fix
abdoo8080:parser-fix
1m 13s
feat: add initial support for QF_FP Lean Action CI #151: Pull request #31 synchronize by abdoo8080
49s abdoo8080:fp
abdoo8080:fp
49s
chore: update toolchain Lean Action CI #150: Commit 95ed24d pushed by hargoniX
1m 13s main
main
1m 13s
chore: update toolchain Lean Action CI #149: Pull request #32 synchronize by hargoniX
1m 15s update
update
1m 15s
chore: update toolchain Lean Action CI #148: Commit c15fd71 pushed by hargoniX
1m 15s update
update
1m 15s
chore: update toolchain Lean Action CI #147: Pull request #32 opened by hargoniX
1m 35s update
update
1m 35s
update toolchain Lean Action CI #146: Commit 910c308 pushed by hargoniX
1m 15s update
update
1m 15s
feat: add initial support for QF_FP Lean Action CI #145: Pull request #31 synchronize by abdoo8080
1m 9s abdoo8080:fp
abdoo8080:fp
1m 9s
feat: add initial support for QF_FP Lean Action CI #144: Pull request #31 opened by abdoo8080
3m 4s abdoo8080:fp
abdoo8080:fp
3m 4s
Merge pull request #30 from abdoo8080/fun-sort Lean Action CI #143: Commit 9d2639b pushed by hargoniX
1m 35s main
main
1m 35s
feat: support define-sort command Lean Action CI #142: Pull request #30 opened by abdoo8080
1m 32s abdoo8080:fun-sort
abdoo8080:fun-sort
1m 32s
Merge pull request #29 from abdoo8080/smt-comp Lean Action CI #141: Commit f41871c pushed by abdoo8080
57s smtcomp2025
smtcomp2025
57s
Merge pull request #29 from abdoo8080/smt-comp Lean Action CI #140: Commit f41871c pushed by hargoniX
57s main
main
57s
doc: document submitted configurations Lean Action CI #139: Pull request #29 opened by abdoo8080
1m 11s abdoo8080:smt-comp
abdoo8080:smt-comp
1m 11s
Merge pull request #28 from hargoniX/hbv/pr8968 Lean Action CI #138: Commit d399cc5 pushed by hargoniX
1m 36s main
main
1m 36s
perf: update to pr 8968 Lean Action CI #137: Pull request #28 synchronize by hargoniX
1m 15s hbv/pr8968
hbv/pr8968
1m 15s
finish Lean Action CI #136: Commit bcc4b13 pushed by hargoniX
1m 13s hbv/pr8968
hbv/pr8968
1m 13s
perf: update to pr 8968 Lean Action CI #135: Pull request #28 opened by hargoniX
1m 23s hbv/pr8968
hbv/pr8968
1m 23s
perf: update to pr 8968 Lean Action CI #134: Commit 1394d2d pushed by hargoniX
1m 37s hbv/pr8968
hbv/pr8968
1m 37s