Workflow runs · smtlib/Solvers · GitHub

Actions

All workflows
Actions
Loading...
Loading

Showing runs from all workflows

30 workflow runs

30 workflow runs

Tighten download-solvers docs: fix an inaccurate claim, drop an unpin… Verify solver binaries #8: Commit 313b4e0 pushed by davidcok

1m 2s master

1m 2s

Document the deliberate build-win/build-z3 duplication and where they… Verify solver binaries #7: Commit d78df6c pushed by davidcok

49s

Update self-references from OpenJML/Solvers to smtlib/Solvers after t… Verify solver binaries #6: Commit b74e8c8 pushed by davidcok

58s

Update README.md Verify solver binaries #5: Commit 8d82565 pushed by davidcok

42s

Exclude Simplify-1.5.4/.exe from the architecture check -- known 32-b… Verify solver binaries #4: Commit 879bdfd pushed by davidcok

49s

Fix verify-solvers: errexit was aborting the whole check after the fi… Verify solver binaries #3: Commit 1883baf pushed by davidcok

53s

Fix download-solvers: git clone -b can't take a commit SHA, only bran… Verify solver binaries #2: Commit 1c9951a pushed by davidcok

40s

Add CI check for solver-binary architecture/launchability, and a shar… Verify solver binaries #1: Commit b6d1cde pushed by davidcok

14s

Build Z3 4.16.0 Build Z3 Solver #237: Manually run by davidcok

26m 25s master

26m 25s

Build Z3 4.15.8 Build Z3 Solver #236: Manually run by davidcok

15m 36s master

15m 36s

Build Z3 4.14.1 Build Z3 Solver #235: Manually run by davidcok

46m 35s master

46m 35s

Build Z3 4.13.4 Build Z3 Solver #228: Manually run by davidcok

2h 36m 19s master

2h 36m 19s

Build Z3 4.12.6 Build Z3 Solver #227: Manually run by davidcok

2h 59m 26s master

2h 59m 26s

Build Z3 4.11.2 Build Z3 Solver #226: Manually run by davidcok

2h 12m 32s master

2h 12m 32s

Build Z3 4.10.2 Build Z3 Solver #225: Manually run by davidcok

1h 48m 55s master

1h 48m 55s

Build Z3 4.9.1 Build Z3 Solver #224: Manually run by davidcok

1h 23m 33s master

1h 23m 33s

Build Z3 4.8.17 Build Z3 Solver #223: Manually run by davidcok

1h 49m 40s master

1h 49m 40s

Build Z3 4.8.12 Build Z3 Solver #222: Manually run by davidcok

1h 4m 56s master

1h 4m 56s

Build Z3 4.3.2 Build Z3 Solver #221: Manually run by davidcok

33m 14s master

33m 14s

Build Z3 4.16.0 (windows) Build Z3 Solver (Windows) #88: Manually run by davidcok

32m 46s master

32m 46s

Build Z3 4.15.8 (windows) Build Z3 Solver (Windows) #87: Manually run by davidcok

32m 25s master

32m 25s

Build Z3 4.14.1 (windows) Build Z3 Solver (Windows) #86: Manually run by davidcok

43m 49s master

43m 49s

Build Z3 4.13.4 (windows) Build Z3 Solver (Windows) #85: Manually run by davidcok

48m 41s master

48m 41s

Build Z3 4.12.6 (windows) Build Z3 Solver (Windows) #84: Manually run by davidcok

29m 32s master

29m 32s

Build Z3 4.11.2 (windows) Build Z3 Solver (Windows) #83: Manually run by davidcok

26m 48s master

26m 48s