Skip to content

Actions: Z3Prover/z3

Actions

Build and Cache Z3

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build-z3-cache.yml
451 workflow runs
451 workflow runs

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
Add global backbones to parallel architecture (#9343) Build and Cache Z3 #451: Commit 19e95f4 pushed by NikolajBjorner
15m 49s master
master
15m 49s
Build and Cache Z3 Build and Cache Z3 #450: Scheduled
17s master
master
17s
Bump actions/upload-artifact from 7.0.0 to 7.0.1 (#9300) Build and Cache Z3 #449: Commit 75039d6 pushed by NikolajBjorner
15m 48s master
master
15m 48s
Bump actions/github-script from 8.0.0 to 9.0.0 (#9296) Build and Cache Z3 #448: Commit 36e1bd1 pushed by NikolajBjorner
16m 3s master
master
16m 3s
Terminate on Demand and some algorithmic bugfixes in the search tree … Build and Cache Z3 #447: Commit 44966e1 pushed by NikolajBjorner
14m 43s master
master
14m 43s
Bump actions/cache from 5.0.4 to 5.0.5 (#9299) Build and Cache Z3 #446: Commit 0669cdd pushed by NikolajBjorner
15m 53s master
master
15m 53s
Bump mymindstorm/setup-emsdk from 15 to 16 (#9297) Build and Cache Z3 #445: Commit 62ab8fc pushed by NikolajBjorner
16m 1s master
master
16m 1s
Fix two bugs in Python examples (#9303) Build and Cache Z3 #444: Commit d397a07 pushed by NikolajBjorner
16m 10s master
master
16m 10s
fix(anum): give anum move semantics to prevent sort-triggered double-… Build and Cache Z3 #443: Commit 38fbf48 pushed by NikolajBjorner
15m 38s master
master
15m 38s
Build and Cache Z3 Build and Cache Z3 #442: Scheduled
15s master
master
15s
Build and Cache Z3 Build and Cache Z3 #441: Scheduled
17s master
master
17s
Build and Cache Z3 Build and Cache Z3 #440: Scheduled
17s master
master
17s
Build and Cache Z3 Build and Cache Z3 #439: Scheduled
21s master
master
21s
fix(ostrich-benchmark): add safeoutputs keepalive noop calls before l… Build and Cache Z3 #438: Commit daf2506 pushed by NikolajBjorner
14m 47s master
master
14m 47s
Build and Cache Z3 Build and Cache Z3 #437: Scheduled
48m 32s master
master
48m 32s
Build and Cache Z3 Build and Cache Z3 #436: Scheduled
2m 12s master
master
2m 12s
Build and Cache Z3 Build and Cache Z3 #435: Scheduled
15s master
master
15s
fix(qf-s-benchmark): add safeoutputs keepalive noop after build, redu… Build and Cache Z3 #434: Commit 1d19d4a pushed by NikolajBjorner
15m 26s master
master
15m 26s
Fixes for lar_term== operator (#9284) Build and Cache Z3 #433: Commit 665d4f3 pushed by NikolajBjorner
16m 4s master
master
16m 4s
Go/OCaml API gaps: substitution, AST introspection, Spacer, Goal comp… Build and Cache Z3 #432: Commit 68e528e pushed by NikolajBjorner
15m 29s master
master
15m 29s
add flag to control non-linear substitutions: smt.solve_eqs.linear is… Build and Cache Z3 #431: Commit 1566d3c pushed by NikolajBjorner
16m 12s master
master
16m 12s
Build and Cache Z3 Build and Cache Z3 #430: Scheduled
16s master
master
16s
recompiled aw Build and Cache Z3 #429: Commit 1544462 pushed by NikolajBjorner
15m 49s master
master
15m 49s
Fix qf-s-benchmark: broken code fence, OOM build, and timeout budget … Build and Cache Z3 #428: Commit 853c62f pushed by NikolajBjorner
15m 48s master
master
15m 48s
Fix Ostrich Benchmark workflow: allow NuGet and guarantee safe output… Build and Cache Z3 #427: Commit d29a1eb pushed by NikolajBjorner
15m 58s master
master
15m 58s