Skip to content

Actions: OpenJML/Solvers

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
56 workflow runs
56 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
.github/workflows/build-z3.yml .github/workflows/build-z3.yml #70: Manually run by davidcok
14m 15s build
build
14m 15s
Use sudo on macOS for emmintrin.h stub install; plain cp on Linux as … .github/workflows/build-z3.yml #69: Commit b51652a pushed by davidcok
11m 57s build
build
11m 57s
Create release as draft; finalize job publishes after all builds succeed .github/workflows/build-z3.yml #57: Commit 3eb4893 pushed by davidcok
15m 5s build
build
15m 5s
One shared release for all 4 platform binaries via prepare job .github/workflows/build-z3.yml #56: Commit 2d2fcc6 pushed by davidcok
14m 21s build
build
14m 21s
Verify: inline ARCH_CMD, drop shell function and timeout (macOS compat) .github/workflows/build-z3.yml #55: Commit 3e63610 pushed by davidcok
16m 53s build
build
16m 53s
Changing folder name .github/workflows/build-z3.yml #54: Commit 7a9d20d pushed by davidcok
11m 9s build
build
11m 9s
Verify: use arch_cmd when running binary; tolerate non-zero -version … .github/workflows/build-z3.yml #53: Commit f9453c7 pushed by davidcok
14m 1s build
build
14m 1s
Add comment explaining Linux container vs macOS no-container design .github/workflows/build-z3.yml #52: Commit e4fa9eb pushed by davidcok
13m 47s build
build
13m 47s
Adding solver for Linux-arm .github/workflows/build-z3.yml #51: Commit ffc1bd5 pushed by davidcok
11m 28s build
build
11m 28s
Fix macOS: patch distutils.sysconfig → sysconfig (removed in Python 3… .github/workflows/build-z3.yml #50: Commit 31ec534 pushed by davidcok
14m 9s build
build
14m 9s
Fix 3 issues from matrix run .github/workflows/build-z3.yml #49: Commit 73ca7d6 pushed by davidcok
4m 31s build
build
4m 31s
Expand to 4-platform matrix: ubuntu-arm64/x86_64 and macos-arm64/x86_64 .github/workflows/build-z3.yml #48: Commit c1c692b pushed by davidcok
3m 7s build
build
3m 7s
Smoke test: use echo (no \n escape issues); keep timeout 10 .github/workflows/build-z3.yml #47: Commit e80805c pushed by davidcok
3m 9s build
build
3m 9s
Add (exit) and timeout 10 to smoke test — z3 4.3.1 waits for EOF .github/workflows/build-z3.yml #46: Commit 2831ece pushed by davidcok
3m 10s build
build
3m 10s
Verify: fail on ERROR output; use printf + -smt2 for smoke test .github/workflows/build-z3.yml #45: Commit 6fd7f67 pushed by davidcok
43m 51s build
build
43m 51s
Fix verify: use -version and -in (Z3 4.3.1 single-dash flags) .github/workflows/build-z3.yml #44: Commit 1bafb8f pushed by davidcok
3m 2s build
build
3m 2s
Add detailed binary verification diagnostics .github/workflows/build-z3.yml #43: Commit dd5ed0d pushed by davidcok
3m 5s build
build
3m 5s
Add -lrt for POSIX timer_create/timer_settime/timer_delete .github/workflows/build-z3.yml #42: Commit ee3616b pushed by davidcok
2m 54s build
build
2m 54s
Capture linker errors in annotations .github/workflows/build-z3.yml #41: Commit bab83da pushed by davidcok
3m 5s build
build
3m 5s
Fix SAL strip: properly handle #define expansion parts vs conditional… .github/workflows/build-z3.yml #40: Commit ce04c80 pushed by davidcok
3m 1s build
build
3m 1s
Fix SAL strip: skip #-directive lines, properly remove define blocks .github/workflows/build-z3.yml #39: Commit 08a75b4 pushed by davidcok
1m 0s build
build
1m 0s
Strip __in/__out SAL macros from all Z3 source to fix GCC 9 STL colli… .github/workflows/build-z3.yml #38: Commit 559609c pushed by davidcok
52s build
build
52s
Revert util.h patch: _MP_INTERNAL path may not need it; test without .github/workflows/build-z3.yml #37: Commit d41d3a3 pushed by davidcok
48s build
build
48s
Fix YAML: use printf to create emmintrin.h stub (heredoc at col-0 bro… .github/workflows/build-z3.yml #36: Commit 404281a pushed by davidcok
1m 44s build
build
1m 44s
Provide ARM64 stub emmintrin.h for SSE2 scalar-double intrinsics .github/workflows/build-z3.yml #35: Commit 8041f87 pushed by davidcok
Failure build
build
Failure