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

Add finite set API support for C# and Java bindings WebAssembly Build #4721: Pull request #8003 synchronize 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 OCaml Binding CI (Ubuntu + macOS) #1706: Pull request #8003 synchronize by Copilot AI
Action required copilot/extend-api-support-finite-sets
copilot/extend-api-support-finite-sets
Action required
Add FiniteSetSort files to CMakeLists.txt build configurations OCaml Binding CI (Ubuntu + macOS) #1705: Commit f234acd pushed by Copilot AI
Action required copilot/extend-api-support-finite-sets
copilot/extend-api-support-finite-sets
Action required
Addressing comment on PR #8003 Copilot coding agent #103: by Copilot AI
20m 20s copilot/extend-api-support-finite-sets
copilot/extend-api-support-finite-sets
20m 20s
Question Answering Researcher Question Answering Researcher #509: Issue comment #8003 (comment) created by NikolajBjorner
2s
2s
PR Fix PR Fix #509: Issue comment #8003 (comment) created by NikolajBjorner
2s
2s
fixup comparison with bounds OCaml Binding CI (Ubuntu + macOS) #1704: Commit 706aff7 pushed by NikolajBjorner
20m 17s arie
arie
20m 17s
fix param evaluation non-determinism OCaml Binding CI (Ubuntu + macOS) #1703: Commit 657e8c9 pushed by levnach
19m 41s argnd
argnd
19m 41s
Setting up param tuning infrastructure in C++ (#8006) OCaml Binding CI (Ubuntu + macOS) #1702: Commit e4a2851 pushed by NikolajBjorner
19m 13s parallel
parallel
19m 13s
Add finite_set API bindings for ML, TypeScript, and Julia (#8005) OCaml Binding CI (Ubuntu + macOS) #1701: Commit 98090fb pushed by NikolajBjorner
5m 18s finite-sets
finite-sets
5m 18s
fix build OCaml Binding CI (Ubuntu + macOS) #1700: Commit 6fa1231 pushed by NikolajBjorner
5m 2s finite-sets
finite-sets
5m 2s
add sketch for incremental algorithm OCaml Binding CI (Ubuntu + macOS) #1699: Commit ba28e85 pushed by NikolajBjorner
19m 12s finite-sets
finite-sets
19m 12s
Question Answering Researcher Question Answering Researcher #508: created by ilanashapiro
Action required
Action required
PR Fix PR Fix #508: created by ilanashapiro
Action required
Action required
remove some non-deterministic behavior in theory_lra.cpp OCaml Binding CI (Ubuntu + macOS) #1697: Commit 37c9f1c pushed by levnach
19m 31s argnd
argnd
19m 31s
Daily Backlog Burner Daily Backlog Burner #54: Scheduled
29s master
master
29s
Daily Perf Improver Daily Perf Improver #64: Scheduled
23s master
master
23s
Daily Test Coverage Improver Daily Test Coverage Improver #69: Scheduled
33m 10s master
master
33m 10s
Question Answering Researcher Question Answering Researcher #505: Pull request #8005 edited by Copilot AI
3s copilot/add-api-functions-finite-set
copilot/add-api-functions-finite-set
3s
PR Fix PR Fix #505: Pull request #8005 edited by Copilot AI
3s copilot/add-api-functions-finite-set
copilot/add-api-functions-finite-set
3s
PR Fix PR Fix #504: Pull request #8005 edited by Copilot AI
3s copilot/add-api-functions-finite-set
copilot/add-api-functions-finite-set
3s
Question Answering Researcher Question Answering Researcher #504: Pull request #8005 edited by Copilot AI
2s copilot/add-api-functions-finite-set
copilot/add-api-functions-finite-set
2s
Question Answering Researcher Question Answering Researcher #503: Pull request #8005 edited by Copilot AI
3s copilot/add-api-functions-finite-set
copilot/add-api-functions-finite-set
3s
PR Fix PR Fix #503: Pull request #8005 edited by Copilot AI
3s copilot/add-api-functions-finite-set
copilot/add-api-functions-finite-set
3s
Add finite_set API bindings for ML, TypeScript, and Julia WebAssembly Build #4719: Pull request #8005 synchronize by Copilot AI
17m 50s copilot/add-api-functions-finite-set
copilot/add-api-functions-finite-set
17m 50s