Skip to content

Actions: Z3Prover/z3

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
13,704 workflow runs
13,704 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Initial plan (#8251) OCaml Binding CI (Ubuntu + macOS) #2764: Commit 6542996 pushed by NikolajBjorner
22m 41s master
master
22m 41s
Running Copilot coding agent Copilot coding agent #238: by Copilot AI
2m 51s copilot/change-release-notes-action
copilot/change-release-notes-action
2m 51s
Release Build Release Build #4: Manually run by NikolajBjorner
50m 32s master
master
50m 32s
Update artifact upload path in release workflow Windows #1460: Commit 50cfcba pushed by NikolajBjorner
16m 9s master
master
16m 9s
Update artifact upload path in release workflow WebAssembly Build #5380: Commit 50cfcba pushed by NikolajBjorner
18m 4s master
master
18m 4s
Update artifact upload path in release workflow CI #32: Commit 50cfcba pushed by NikolajBjorner
16m 27s master
master
16m 27s
Update artifact upload path in release workflow OCaml Binding CI (Ubuntu + macOS) #2762: Commit 50cfcba pushed by NikolajBjorner
18m 41s master
master
18m 41s
Release Notes Updater Release Notes Updater #1: Manually run by NikolajBjorner
6m 4s master
master
6m 4s
Add weekly agentic workflow to auto-update RELEASE_NOTES.md (#8249) CI #31: Commit f2ddfc2 pushed by NikolajBjorner
5m 24s master
master
5m 24s
Add weekly agentic workflow to auto-update RELEASE_NOTES.md (#8249) OCaml Binding CI (Ubuntu + macOS) #2761: Commit f2ddfc2 pushed by NikolajBjorner
19m 10s master
master
19m 10s
Add weekly agentic workflow to auto-update RELEASE_NOTES.md (#8249) WebAssembly Build #5379: Commit f2ddfc2 pushed by NikolajBjorner
18m 30s master
master
18m 30s
Add weekly agentic workflow to auto-update RELEASE_NOTES.md (#8249) Windows #1459: Commit f2ddfc2 pushed by NikolajBjorner
5m 8s master
master
5m 8s
Running Copilot coding agent Copilot coding agent #237: by Copilot AI
5m 39s copilot/update-release-notes-weekly
copilot/update-release-notes-weekly
5m 39s
Update RELEASE_NOTES.md for version 4.15.5 CI #27: Commit 63a16da pushed by NikolajBjorner
12m 12s master
master
12m 12s
Update RELEASE_NOTES.md for version 4.15.5 Windows #1458: Commit 63a16da pushed by NikolajBjorner
11m 54s master
master
11m 54s
Update RELEASE_NOTES.md for version 4.15.5 WebAssembly Build #5376: Commit 63a16da pushed by NikolajBjorner
15m 45s master
master
15m 45s
Update RELEASE_NOTES.md for version 4.15.5 OCaml Binding CI (Ubuntu + macOS) #2757: Commit 63a16da pushed by NikolajBjorner
18m 6s master
master
18m 6s
API Coherence Checker API Coherence Checker #19: Scheduled
8m 42s master
master
8m 42s
Nightly Build Nightly Build #16: Scheduled
54m 11s master
master
54m 11s
Align theory_finite_set_lattice_refutation with Z3 coding conventions PR Fix #985: Pull request #8246 edited by Copilot AI
Action required copilot/align-coding-conventions-finite-sets
copilot/align-coding-conventions-finite-sets
Action required
Align theory_finite_set_lattice_refutation with Z3 coding conventions Question Answering Researcher #985: Pull request #8246 edited by Copilot AI
Action required copilot/align-coding-conventions-finite-sets
copilot/align-coding-conventions-finite-sets
Action required
Align theory_finite_set_lattice_refutation with Z3 coding conventions Question Answering Researcher #984: Pull request #8246 edited by Copilot AI
Action required copilot/align-coding-conventions-finite-sets
copilot/align-coding-conventions-finite-sets
Action required
Align theory_finite_set_lattice_refutation with Z3 coding conventions PR Fix #984: Pull request #8246 edited by Copilot AI
Action required copilot/align-coding-conventions-finite-sets
copilot/align-coding-conventions-finite-sets
Action required
Align theory_finite_set_lattice_refutation with Z3 coding conventions WebAssembly Build #5375: Pull request #8246 synchronize by Copilot AI
Action required copilot/align-coding-conventions-finite-sets
copilot/align-coding-conventions-finite-sets
Action required
Align theory_finite_set_lattice_refutation with Z3 coding conventions OCaml Binding CI (Ubuntu + macOS) #2756: Pull request #8246 synchronize by Copilot AI
Action required copilot/align-coding-conventions-finite-sets
copilot/align-coding-conventions-finite-sets
Action required