Skip to content

Actions: Z3Prover/z3

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
18,379 workflow runs
18,379 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Convert normalize-bounds tactic to a dependent_expr_simplifier OCaml Binding CI (Ubuntu + macOS) #5526: Pull request #9154 synchronize by Copilot AI
Action required copilot/convert-normalize-bounds-to-simplifier
copilot/convert-normalize-bounds-to-simplifier
Action required
Convert normalize-bounds tactic to a dependent_expr_simplifier Windows #2459: Pull request #9154 synchronize by Copilot AI
Action required copilot/convert-normalize-bounds-to-simplifier
copilot/convert-normalize-bounds-to-simplifier
Action required
Convert normalize-bounds tactic to a dependent_expr_simplifier OCaml Binding CI (Ubuntu + macOS) #5525: Commit 541b229 pushed by Copilot AI
Action required copilot/convert-normalize-bounds-to-simplifier
copilot/convert-normalize-bounds-to-simplifier
Action required
Convert normalize-bounds tactic to a dependent_expr_simplifier CI #2779: Commit 541b229 pushed by Copilot AI
Action required copilot/convert-normalize-bounds-to-simplifier
copilot/convert-normalize-bounds-to-simplifier
Action required
Running Copilot coding agent Copilot coding agent #806: by Copilot AI
5m 44s copilot/fix-nightly-run-issues
copilot/fix-nightly-run-issues
5m 44s
Nightly Build Nightly Build #108: Manually run by NikolajBjorner
10m 21s master
master
10m 21s
Add riscv64 wheel builds to nightly and release PyPI publishing (#9153) Build and Cache Z3 #382: Commit 8969921 pushed by NikolajBjorner
16m 45s master
master
16m 45s
Add riscv64 wheel builds to nightly and release PyPI publishing (#9153) CI #2778: Commit 8969921 pushed by NikolajBjorner
10m 4s master
master
10m 4s
Add riscv64 wheel builds to nightly and release PyPI publishing (#9153) WebAssembly Build #6990: Commit 8969921 pushed by NikolajBjorner
20m 15s master
master
20m 15s
Add riscv64 wheel builds to nightly and release PyPI publishing (#9153) OCaml Binding CI (Ubuntu + macOS) #5524: Commit 8969921 pushed by NikolajBjorner
20m 29s master
master
20m 29s
Add riscv64 wheel builds to nightly and release PyPI publishing (#9153) Windows #2458: Commit 8969921 pushed by NikolajBjorner
9m 52s master
master
9m 52s
Convert nnf/snf tactics to dependent_expr_simplifier CI #2775: Pull request #9156 opened by Copilot AI
Action required copilot/convert-nnf-to-simplifier
copilot/convert-nnf-to-simplifier
Action required
Convert nnf/snf tactics to dependent_expr_simplifier Windows #2456: Pull request #9156 opened by Copilot AI
Action required copilot/convert-nnf-to-simplifier
copilot/convert-nnf-to-simplifier
Action required
Convert nnf/snf tactics to dependent_expr_simplifier OCaml Binding CI (Ubuntu + macOS) #5521: Pull request #9156 opened by Copilot AI
Action required copilot/convert-nnf-to-simplifier
copilot/convert-nnf-to-simplifier
Action required
Convert nnf/snf tactics to dependent_expr_simplifier Mark Pull Requests Ready for Review #75: Pull request #9156 opened by Copilot AI
Action required copilot/convert-nnf-to-simplifier
copilot/convert-nnf-to-simplifier
Action required
Convert nnf/snf tactics to dependent_expr_simplifier WebAssembly Build #6988: Pull request #9156 opened by Copilot AI
-1s copilot/convert-nnf-to-simplifier
copilot/convert-nnf-to-simplifier
-1s
Running Copilot coding agent Copilot coding agent #805: by Copilot AI
24m 32s copilot/convert-nnf-to-simplifier
copilot/convert-nnf-to-simplifier
24m 32s
Convert reduce-bv-size tactic to a dependent_expr_simplifier WebAssembly Build #6987: Pull request #9155 opened by Copilot AI
Action required copilot/convert-reduce-bv-size-to-simplifier
copilot/convert-reduce-bv-size-to-simplifier
Action required
Convert reduce-bv-size tactic to a dependent_expr_simplifier Windows #2455: Pull request #9155 opened by Copilot AI
Action required copilot/convert-reduce-bv-size-to-simplifier
copilot/convert-reduce-bv-size-to-simplifier
Action required
Convert reduce-bv-size tactic to a dependent_expr_simplifier OCaml Binding CI (Ubuntu + macOS) #5520: Pull request #9155 opened by Copilot AI
Action required copilot/convert-reduce-bv-size-to-simplifier
copilot/convert-reduce-bv-size-to-simplifier
Action required
Convert reduce-bv-size tactic to a dependent_expr_simplifier CI #2774: Pull request #9155 opened by Copilot AI
Action required copilot/convert-reduce-bv-size-to-simplifier
copilot/convert-reduce-bv-size-to-simplifier
Action required
Convert reduce-bv-size tactic to a dependent_expr_simplifier Mark Pull Requests Ready for Review #74: Pull request #9155 opened by Copilot AI
Action required copilot/convert-reduce-bv-size-to-simplifier
copilot/convert-reduce-bv-size-to-simplifier
Action required
Running Copilot coding agent Copilot coding agent #804: by Copilot AI
23m 57s copilot/convert-reduce-bv-size-to-simplifier
copilot/convert-reduce-bv-size-to-simplifier
23m 57s
Convert normalize-bounds tactic to a dependent_expr_simplifier CI #2773: Pull request #9154 opened by Copilot AI
Action required copilot/convert-normalize-bounds-to-simplifier
copilot/convert-normalize-bounds-to-simplifier
Action required
Convert normalize-bounds tactic to a dependent_expr_simplifier Mark Pull Requests Ready for Review #73: Pull request #9154 opened by Copilot AI
Action required copilot/convert-normalize-bounds-to-simplifier
copilot/convert-normalize-bounds-to-simplifier
Action required