Skip to content

Actions: Z3Prover/z3

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Android Build Android Build #3163: Scheduled
10m 57s master
master
10m 57s
Pyodide Build Pyodide Build #720: Scheduled
21m 6s master
master
21m 6s
Code Coverage Code Coverage #4225: Scheduled
30m 33s master
master
30m 33s
MSVC Clang-CL Static Build MSVC Clang-CL Static Build #2044: Scheduled
30m 57s master
master
30m 57s
RISC V and PowerPC 64 RISC V and PowerPC 64 #6260: Scheduled
20m 59s master
master
20m 59s
Open Issues Open Issues #3362: Scheduled
34m 27s master
master
34m 27s
MSVC Static Build MSVC Static Build #5324: Scheduled
27m 39s master
master
27m 39s
remove incorrect assertion, make sat case for range + size conservative OCaml Binding CI (Ubuntu + macOS) #1934: Commit 1d3f6a7 pushed by NikolajBjorner
19m 53s finite-sets
finite-sets
19m 53s
simplify expressions before range local check (#8061) OCaml Binding CI (Ubuntu + macOS) #1933: Commit e905123 pushed by NikolajBjorner
19m 20s finite-sets
finite-sets
19m 20s
PR Fix PR Fix #671: Issue comment #8061 (comment) edited by NikolajBjorner
1s
1s
Question Answering Researcher Question Answering Researcher #671: Issue comment #8061 (comment) edited by NikolajBjorner
1s
1s
PR Fix PR Fix #670: Issue comment #8061 (comment) created by NikolajBjorner
1s
1s
Question Answering Researcher Question Answering Researcher #670: Issue comment #8061 (comment) created by NikolajBjorner
1s
1s
PR Fix PR Fix #669: Issue comment #8061 (comment) created by stromberger
2s
2s
Question Answering Researcher Question Answering Researcher #669: Issue comment #8061 (comment) created by stromberger
2s
2s