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 #4709: 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 WebAssembly Build #4708: 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) #1679: 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 Java and C# OCaml Binding CI (Ubuntu + macOS) #1678: Commit e85eaae pushed 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 #491: 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 Question Answering Researcher #491: Pull request #8003 edited by Copilot AI
Action required copilot/extend-api-support-finite-sets
copilot/extend-api-support-finite-sets
Action required
Running Copilot Copilot coding agent #101: by Copilot AI
30m 26s copilot/add-finite-set-operators
copilot/add-finite-set-operators
30m 26s
Running Copilot Copilot coding agent #100: by Copilot AI
32m 43s copilot/extend-api-support-finite-sets
copilot/extend-api-support-finite-sets
32m 43s
Add finite set API support for C# and Java bindings Question Answering Researcher #489: Pull request #8003 opened 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 #489: Pull request #8003 opened 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 WebAssembly Build #4706: Pull request #8003 opened 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) #1676: Pull request #8003 opened by Copilot AI
Action required copilot/extend-api-support-finite-sets
copilot/extend-api-support-finite-sets
Action required
separate bounds introduction OCaml Binding CI (Ubuntu + macOS) #1675: Commit 6ba4ba1 pushed by NikolajBjorner
19m 5s arie
arie
19m 5s
CI Failure Doctor CI Failure Doctor #119: completed by NikolajBjorner
1s
1s
bump version for release Windows #1202: Commit 87d1131 pushed by NikolajBjorner
1h 4m 12s master
master
1h 4m 12s
bump version for release OCaml Binding CI (Ubuntu + macOS) #1674: Commit 87d1131 pushed by NikolajBjorner
20m 49s master
master
20m 49s
bump version for release WebAssembly Build #4705: Commit 87d1131 pushed by NikolajBjorner
18m 20s master
master
18m 20s
z3-4.15.4 WebAssembly Publish #27: Release z3-4.15.4 published by NikolajBjorner
19m 2s
19m 2s
add deterministic behavior OCaml Binding CI (Ubuntu + macOS) #1673: Commit a1918c4 pushed by levnach
20m 1s argnd
argnd
20m 1s
separate out bounds OCaml Binding CI (Ubuntu + macOS) #1672: Commit cf54e98 pushed by NikolajBjorner
21m 25s arie
arie
21m 25s
CI Failure Doctor CI Failure Doctor #118: completed by NikolajBjorner
1s
1s
another batch of nond args fixes OCaml Binding CI (Ubuntu + macOS) #1671: Commit 7dae39c pushed by levnach
20m 14s argnd
argnd
20m 14s
update release notes Windows #1201: Commit 745087e pushed by NikolajBjorner
1h 3m 15s master
master
1h 3m 15s
update release notes WebAssembly Build #4704: Commit 745087e pushed by NikolajBjorner
18m 23s master
master
18m 23s
update release notes OCaml Binding CI (Ubuntu + macOS) #1670: Commit 745087e pushed by NikolajBjorner
20m 52s master
master
20m 52s