Skip to content

Actions: Z3Prover/z3

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

revert a regression from PR OCaml Binding CI (Ubuntu + macOS) #1714: Commit 605a474 pushed by NikolajBjorner
18m 57s parallel
parallel
18m 57s
Updates to param tuning (#8008) OCaml Binding CI (Ubuntu + macOS) #1713: Commit f108364 pushed by NikolajBjorner
19m 47s parallel
parallel
19m 47s
Question Answering Researcher Question Answering Researcher #517: created by ilanashapiro
Action required
Action required
PR Fix PR Fix #517: created by ilanashapiro
Action required
Action required
Question Answering Researcher Question Answering Researcher #516: created by ilanashapiro
Action required
Action required
PR Fix PR Fix #516: created by ilanashapiro
Action required
Action required
Daily Backlog Burner Daily Backlog Burner #55: Scheduled
36s master
master
36s
Daily Perf Improver Daily Perf Improver #65: Scheduled
27s master
master
27s
Daily Test Coverage Improver Daily Test Coverage Improver #70: Scheduled
27m 43s master
master
27m 43s
Android Build Android Build #3144: Scheduled
12m 0s master
master
12m 0s
Pyodide Build Pyodide Build #701: Scheduled
21m 3s master
master
21m 3s
Code Coverage Code Coverage #4206: Scheduled
32m 40s master
master
32m 40s
MSVC Clang-CL Static Build MSVC Clang-CL Static Build #2023: Scheduled
2h 14m 26s master
master
2h 14m 26s
RISC V and PowerPC 64 RISC V and PowerPC 64 #6239: Scheduled
21m 23s master
master
21m 23s
Open Issues Open Issues #3343: Scheduled
34m 8s master
master
34m 8s
MSVC Static Build MSVC Static Build #5303: Scheduled
32m 10s master
master
32m 10s
some comments and change to how parameter variants are stored OCaml Binding CI (Ubuntu + macOS) #1710: Commit 8901f8f pushed by NikolajBjorner
19m 10s parallel
parallel
19m 10s
PR Fix PR Fix #513: created by ilanashapiro
Action required
Action required
Question Answering Researcher Question Answering Researcher #513: created by ilanashapiro
Action required
Action required
move to generic state OCaml Binding CI (Ubuntu + macOS) #1708: Commit d3e2527 pushed by NikolajBjorner
2h 9m 27s parallel
parallel
2h 9m 27s
fix build OCaml Binding CI (Ubuntu + macOS) #1707: Commit a74153f pushed by NikolajBjorner
2h 24m 7s parallel
parallel
2h 24m 7s
Add finite set API support for C# and Java bindings Question Answering Researcher #511: Issue comment #8003 (comment) created by Copilot AI
Action required
Action required
Add finite set API support for C# and Java bindings PR Fix #511: Issue comment #8003 (comment) created by Copilot AI
Action required
Action required
Add finite set API support for C# and Java bindings Question Answering Researcher #510: Pull request #8003 edited by Copilot AI
Action required copilot/extend-api-support-finite-sets
copilot/extend-api-support-finite-sets
Action required
Add finite set API support for C# and Java bindings PR Fix #510: Pull request #8003 edited by Copilot AI
Action required copilot/extend-api-support-finite-sets
copilot/extend-api-support-finite-sets
Action required