Skip to content

Actions: hargoniX/Leanwuzla

Actions

Lean Action CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lean_action_ci.yml
52 workflow runs
52 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix: unreachable hit Lean Action CI #27: Pull request #6 opened by hargoniX
October 30, 2024 18:44 59s nounreachable
nounreachable
October 30, 2024 18:44 59s
fix: unreachable hit Lean Action CI #26: Commit 3925f25 pushed by hargoniX
October 30, 2024 18:44 55s nounreachable
nounreachable
October 30, 2024 18:44 55s
Merge pull request #4 from opencompl/update-lean-oct-28 Lean Action CI #25: Commit 8b63ada pushed by hargoniX
October 29, 2024 15:44 57s main
main
October 29, 2024 15:44 57s
chore: update after nightly 28 oct Lean Action CI #24: Pull request #4 synchronize by luisacicolini
October 29, 2024 15:38 53s opencompl:update-lean-oct-28
opencompl:update-lean-oct-28
October 29, 2024 15:38 53s
chore: update after nightly 28 oct Lean Action CI #23: Pull request #4 synchronize by luisacicolini
October 29, 2024 15:17 1m 1s opencompl:update-lean-oct-28
opencompl:update-lean-oct-28
October 29, 2024 15:17 1m 1s
chore: update after nightly 28 oct Lean Action CI #22: Pull request #4 synchronize by luisacicolini
October 28, 2024 18:44 59s opencompl:update-lean-oct-28
opencompl:update-lean-oct-28
October 28, 2024 18:44 59s
chore: update after nightly 28 oct Lean Action CI #21: Pull request #4 synchronize by luisacicolini
October 28, 2024 18:36 51s opencompl:update-lean-oct-28
opencompl:update-lean-oct-28
October 28, 2024 18:36 51s
nobody saw this Lean Action CI #20: Commit 9a8af88 pushed by hargoniX
October 28, 2024 18:35 1m 5s main
main
October 28, 2024 18:35 1m 5s
Merge pull request #5 from hargoniX/test-suite Lean Action CI #19: Commit 2c94825 pushed by hargoniX
October 28, 2024 18:33 58s main
main
October 28, 2024 18:33 58s
chore: add a basic test suite Lean Action CI #18: Pull request #5 opened by hargoniX
October 28, 2024 18:32 58s test-suite
test-suite
October 28, 2024 18:32 58s
chore: add a basic test suite Lean Action CI #17: Commit 6f01573 pushed by hargoniX
October 28, 2024 18:31 1m 2s test-suite
test-suite
October 28, 2024 18:31 1m 2s
chore: update after nightly 28 oct Lean Action CI #16: Pull request #4 synchronize by luisacicolini
October 28, 2024 18:26 25s opencompl:update-lean-oct-28
opencompl:update-lean-oct-28
October 28, 2024 18:26 25s
chore: update after nightly 28 oct Lean Action CI #15: Pull request #4 synchronize by luisacicolini
October 28, 2024 18:23 21s opencompl:update-lean-oct-28
opencompl:update-lean-oct-28
October 28, 2024 18:23 21s
chore: update after nightly 28 oct Lean Action CI #14: Pull request #4 opened by luisacicolini
October 28, 2024 18:09 23s opencompl:update-lean-oct-28
opencompl:update-lean-oct-28
October 28, 2024 18:09 23s
feat: add simple parser for QF_BV fragment of SMT-LIB v2 Lean Action CI #13: Pull request #3 synchronize by abdoo8080
October 27, 2024 23:21 Action required abdoo8080:main
abdoo8080:main
October 27, 2024 23:21 Action required
feat: add simple parser for QF_BV fragment of SMT-LIB v2 Lean Action CI #12: Pull request #3 synchronize by abdoo8080
October 27, 2024 23:20 Action required abdoo8080:main
abdoo8080:main
October 27, 2024 23:20 Action required
feat: add simple parser for QF_BV fragment of SMT-LIB v2 Lean Action CI #11: Pull request #3 opened by abdoo8080
October 27, 2024 23:10 Action required abdoo8080:main
abdoo8080:main
October 27, 2024 23:10 Action required
feat: trace solving context time Lean Action CI #10: Commit 36fc525 pushed by hargoniX
October 26, 2024 11:58 20s main
main
October 26, 2024 11:58 20s
Merge pull request #2 from opencompl/sdiv Lean Action CI #9: Commit ca72cbe pushed by hargoniX
October 26, 2024 10:30 27s main
main
October 26, 2024 10:30 27s
chore: update lean-toolchain, consequently add sdiv support Lean Action CI #8: Pull request #2 opened by bollu
October 25, 2024 23:13 24s opencompl:sdiv
opencompl:sdiv
October 25, 2024 23:13 24s
support for udiv and LRAT timing Lean Action CI #7: Commit a51af40 pushed by hargoniX
October 12, 2024 09:57 32s main
main
October 12, 2024 09:57 32s
Merge pull request #1 from luisacicolini/updated-lean Lean Action CI #6: Commit 26ce43b pushed by hargoniX
October 1, 2024 13:41 22s main
main
October 1, 2024 13:41 22s
chore: fixed Gate after update Lean Action CI #5: Pull request #1 opened by luisacicolini
October 1, 2024 12:34 29s luisacicolini:updated-lean
luisacicolini:updated-lean
October 1, 2024 12:34 29s
feat: more timing tools Lean Action CI #4: Commit bcab3f8 pushed by hargoniX
September 25, 2024 12:28 27s main
main
September 25, 2024 12:28 27s
set solver path via argument Lean Action CI #3: Commit 3402208 pushed by hargoniX
September 25, 2024 09:33 20s main
main
September 25, 2024 09:33 20s