Skip to content

Actions: smtlib/jSMTLIB

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
25 workflow runs
25 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
Matching jSMTLIB to OpenJML Build jSMTLIB #25: Commit 4c35b6b pushed by davidcok
6m 55s dev
dev
6m 55s
Additional fix Build jSMTLIB #24: Commit d9900d9 pushed by davidcok
6m 38s dev
dev
6m 38s
Test infrastructure cleanup and cvc4→cvc5 rename Build jSMTLIB #23: Commit c7158be pushed by davidcok
6m 41s dev
dev
6m 41s
Removing obsolete macos-13 Build jSMTLIB #22: Commit 4cdf8d5 pushed by davidcok
7m 6s dev
dev
7m 6s
Fix err_bv and ok_tokens Windows golden files Build jSMTLIB #21: Commit 16392a9 pushed by davidcok
1d 0h 0m 21s dev
dev
1d 0h 0m 21s
Add Windows-specific z3 golden output files for 12 failing tests Build jSMTLIB #20: Commit 3dea9db pushed by davidcok
2h 43m 59s dev
dev
2h 43m 59s
Fix port-noserver.scr Windows golden files: delete wrong .out.windows… Build jSMTLIB #19: Commit c607784 pushed by davidcok
4h 45m 38s dev
dev
4h 45m 38s
More windows fixes Build jSMTLIB #18: Commit 8a29f13 pushed by davidcok
5h 24m 14s dev
dev
5h 24m 14s
Use z3-4.3.2 on Windows; fix Windows-specific script golden files Build jSMTLIB #17: Commit cf60d5c pushed by davidcok
1d 0h 0m 22s dev
dev
1d 0h 0m 22s
Fix Windows test failures: CRLF stripping, auto-detect z3, skip z3 sc… Build jSMTLIB #16: Commit cac1b54 pushed by davidcok
7h 21m 24s dev
dev
7h 21m 24s
Fix Windows classpath: remove spurious quotes, reorder setup Build jSMTLIB #15: Commit 9c00ac2 pushed by davidcok
16h 13m 29s dev
dev
16h 13m 29s
Try macos-15-intel runner for macOS 15 x86_64 coverage Build jSMTLIB #14: Commit 1ec620c pushed by davidcok
16h 25m 5s dev
dev
16h 25m 5s
Skip unreliable z3-4.3.1 tests on ARM64; add macos-14 x86 runner Build jSMTLIB #13: Commit c27179e pushed by davidcok
17h 30m 52s dev
dev
17h 30m 52s
More workflow and test tweaking Build jSMTLIB #12: Commit a385165 pushed by davidcok
1h 28m 24s dev
dev
1h 28m 24s
Adding a timeout because some tests hang Build jSMTLIB #11: Commit 8571abe pushed by davidcok
2h 19m 26s dev
dev
2h 19m 26s
Fix Linux CI test failures: platform-specific golden files and runtes… Build jSMTLIB #10: Commit e4ce8d5 pushed by davidcok
5h 36m 26s master
master
5h 36m 26s
Fix Linux CI test failures: platform-specific golden files and runtes… Build jSMTLIB #9: Commit e4ce8d5 pushed by davidcok
5h 36m 38s dev
dev
5h 36m 38s
Fix CI solver path: add solver_z3.exec to CI properties; clear hardco… Build jSMTLIB #8: Commit 0af057a pushed by davidcok
8h 47m 10s dev
dev
8h 47m 10s
Adding more runners for testing Build jSMTLIB #7: Commit f0e647e pushed by davidcok
7h 14m 19s dev
dev
7h 14m 19s
Merge origin/master (line-ending fixes) into local master Build jSMTLIB #6: Commit af7e8d1 pushed by davidcok
5m 8s master
master
5m 8s
More debugging and touchup Build jSMTLIB #5: Commit 43729b2 pushed by davidcok
5m 6s dev
dev
5m 6s
reporting failures from scripts Build jSMTLIB #4: Commit 41c8d59 pushed by davidcok
1m 16s dev
dev
1m 16s
More workflow debugging Build jSMTLIB #3: Commit ac46f2b pushed by davidcok
4m 44s dev
dev
4m 44s
Debugging workflow Build jSMTLIB #2: Commit c120961 pushed by davidcok
4m 47s dev
dev
4m 47s
Adding workflow Build jSMTLIB #1: Commit 9164901 pushed by davidcok
55s dev
dev
55s