Skip to content

Actions: smtlib/jSMTLIB

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
37 workflow runs
37 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
More cross-platform results Build jSMTLIB #37: Commit 7b1bb9f pushed by davidcok
8m 6s dev
dev
8m 6s
Cross platform fix Build jSMTLIB #36: Commit 29170f3 pushed by davidcok
9m 48s dev
dev
9m 48s
More work on cross-platform test results Build jSMTLIB #35: Commit 915e264 pushed by davidcok
9m 12s dev
dev
9m 12s
MOre cross-platform changes Build jSMTLIB #34: Commit 98c7db4 pushed by davidcok
8m 45s dev
dev
8m 45s
Correcting cross-platform behavior Build jSMTLIB #33: Commit 89948de pushed by davidcok
8m 59s dev
dev
8m 59s
Fixes to uploading library sources Build jSMTLIB #32: Commit a11e036 pushed by davidcok
9m 5s dev
dev
9m 5s
Fixes to uploading library sources Build jSMTLIB #31: Commit 8928e09 pushed by davidcok
20s dev
dev
20s
Cleaning up javadoc; adding a sources release artifact Build jSMTLIB #30: Commit 632954a pushed by davidcok
Failure dev
dev
Failure
Touching up test output Build jSMTLIB #29: Commit 7e176bb pushed by davidcok
1m 9s dev
dev
1m 9s
More debugging Build jSMTLIB #28: Commit 5b9eb84 pushed by davidcok
6m 37s dev
dev
6m 37s
Windows test output Build jSMTLIB #27: Commit 89cd116 pushed by davidcok
6m 42s dev
dev
6m 42s
Improving debugging Build jSMTLIB #26: Commit b88b1cd pushed by davidcok
6m 30s dev
dev
6m 30s
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