Skip to content

Actions: Z3Prover/z3

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
12,565 workflow runs
12,565 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CI Failure Doctor CI Failure Doctor #178: completed by NikolajBjorner
2s
2s
disable preprocessing only after formulas are internalized Windows #1261: Commit c7f6cea pushed by NikolajBjorner
1h 6m 41s master
master
1h 6m 41s
disable preprocessing only after formulas are internalized WebAssembly Build #4835: Commit c7f6cea pushed by NikolajBjorner
17m 22s master
master
17m 22s
disable preprocessing only after formulas are internalized OCaml Binding CI (Ubuntu + macOS) #1939: Commit c7f6cea pushed by NikolajBjorner
19m 51s master
master
19m 51s
Daily Backlog Burner Daily Backlog Burner #82: Scheduled
33s master
master
33s
Daily Perf Improver Daily Perf Improver #92: Scheduled
31s master
master
31s
Daily Test Coverage Improver Daily Test Coverage Improver #97: Scheduled
33m 47s master
master
33m 47s
t OCaml Binding CI (Ubuntu + macOS) #1938: Commit 70ba990 pushed by levnach
48m 37s lws
lws
48m 37s
Android Build Android Build #3164: Scheduled
11m 19s master
master
11m 19s
Pyodide Build Pyodide Build #721: Scheduled
20m 56s master
master
20m 56s
Code Coverage Code Coverage #4226: Scheduled
30m 34s master
master
30m 34s
MSVC Clang-CL Static Build MSVC Clang-CL Static Build #2045: Scheduled
28m 55s master
master
28m 55s
RISC V and PowerPC 64 RISC V and PowerPC 64 #6261: Scheduled
21m 22s master
master
21m 22s
Open Issues Open Issues #3363: Scheduled
35m 40s master
master
35m 40s
MSVC Static Build MSVC Static Build #5325: Scheduled
32m 55s master
master
32m 55s
github_actions in /. - Update #1177904462 Dependabot Updates #85: by dependabot bot
53s master
master
53s
canonicalize polinomals in todo_set OCaml Binding CI (Ubuntu + macOS) #1937: Commit bf32a43 pushed by levnach
25m 37s lws
lws
25m 37s
do not refactor again multivariate polynomials OCaml Binding CI (Ubuntu + macOS) #1936: Commit aa6dae8 pushed by levnach
24m 33s lws
lws
24m 33s
Daily Backlog Burner Daily Backlog Burner #81: Scheduled
24s master
master
24s
Daily Perf Improver Daily Perf Improver #91: Scheduled
28s master
master
28s
Daily Test Coverage Improver Daily Test Coverage Improver #96: Scheduled
28m 7s master
master
28m 7s
CI Failure Doctor CI Failure Doctor #177: completed by NikolajBjorner
Skipped
Skipped
allow parsing declared arrays without requiring explicit select OCaml Binding CI (Ubuntu + macOS) #1935: Commit 20d1357 pushed by NikolajBjorner
19m 29s master
master
19m 29s
allow parsing declared arrays without requiring explicit select Windows #1260: Commit 20d1357 pushed by NikolajBjorner
1h 5m 58s master
master
1h 5m 58s
allow parsing declared arrays without requiring explicit select WebAssembly Build #4834: Commit 20d1357 pushed by NikolajBjorner
18m 34s master
master
18m 34s