Skip to content

Actions: Z3Prover/z3

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
use polynomial_ref instead of poly* OCaml Binding CI (Ubuntu + macOS) #1932: Commit 3db21b9 pushed by levnach
19m 9s lws
lws
19m 9s
PR Fix PR Fix #668: created by microsoft-github-policy-service bot
1s
1s
Question Answering Researcher Question Answering Researcher #668: created by microsoft-github-policy-service bot
1s
1s
PR Fix PR Fix #667: Pull request #8061 opened by stromberger
2s stromberger:finite-sets-range-local-simplify
stromberger:finite-sets-range-local-simplify
2s
Question Answering Researcher Question Answering Researcher #667: Pull request #8061 opened by stromberger
2s stromberger:finite-sets-range-local-simplify
stromberger:finite-sets-range-local-simplify
2s
Finite Sets: Simplify expressions before range local check WebAssembly Build #4833: Pull request #8061 opened by stromberger
18m 17s stromberger:finite-sets-range-local-simplify
stromberger:finite-sets-range-local-simplify
18m 17s