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) #5519: 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 WebAssembly Build #6986: 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 Windows #2454: Pull request #9154 opened 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 #803: by Copilot AI
22m 11s copilot/convert-normalize-bounds-to-simplifier
copilot/convert-normalize-bounds-to-simplifier
22m 11s
Running Copilot coding agent Copilot coding agent #802: by Copilot AI
11m 37s copilot/add-riscv64-wheels-pypi
copilot/add-riscv64-wheels-pypi
11m 37s
Bump picomatch from 2.3.1 to 2.3.2 in /src/api/js (#9130) OCaml Binding CI (Ubuntu + macOS) #5517: Commit d7f8fb5 pushed by NikolajBjorner
25m 4s master
master
25m 4s
Bump picomatch from 2.3.1 to 2.3.2 in /src/api/js (#9130) Build and Cache Z3 #381: Commit d7f8fb5 pushed by NikolajBjorner
15m 40s master
master
15m 40s
Bump picomatch from 2.3.1 to 2.3.2 in /src/api/js (#9130) CI #2771: Commit d7f8fb5 pushed by NikolajBjorner
23m 33s master
master
23m 33s
Bump picomatch from 2.3.1 to 2.3.2 in /src/api/js (#9130) Windows #2452: Commit d7f8fb5 pushed by NikolajBjorner
23m 23s master
master
23m 23s
Bump picomatch from 2.3.1 to 2.3.2 in /src/api/js (#9130) WebAssembly Build #6984: Commit d7f8fb5 pushed by NikolajBjorner
15m 18s master
master
15m 18s
ZIPT Code Reviewer ZIPT Code Reviewer #107: Scheduled
9m 0s master
master
9m 0s
fix: extract 7 unsafe expressions, 30 secrets, and 23 inputs to env vars, pin 19 unpinned actions WebAssembly Build #6983: Pull request #9143 synchronize by dagecko
Action required dagecko:runner-guard/fix-ci-security
dagecko:runner-guard/fix-ci-security
Action required
fix: extract 7 unsafe expressions, 30 secrets, and 23 inputs to env vars, pin 19 unpinned actions OCaml Binding CI (Ubuntu + macOS) #5516: Pull request #9143 synchronize by dagecko
Action required dagecko:runner-guard/fix-ci-security
dagecko:runner-guard/fix-ci-security
Action required
fix: extract 7 unsafe expressions, 30 secrets, and 23 inputs to env vars, pin 19 unpinned actions Windows #2451: Pull request #9143 synchronize by dagecko
Action required dagecko:runner-guard/fix-ci-security
dagecko:runner-guard/fix-ci-security
Action required
fix: extract 7 unsafe expressions, 30 secrets, and 23 inputs to env vars, pin 19 unpinned actions CI #2770: Pull request #9143 synchronize by dagecko
Action required dagecko:runner-guard/fix-ci-security
dagecko:runner-guard/fix-ci-security
Action required
Fix nlsat clear crash CI #2769: Pull request #9150 synchronize by levnach
30m 23s fix-nlsat-clear-crash
fix-nlsat-clear-crash
30m 23s
Fix nlsat clear crash WebAssembly Build #6982: Pull request #9150 synchronize by levnach
20m 4s fix-nlsat-clear-crash
fix-nlsat-clear-crash
20m 4s
Fix nlsat clear crash Windows #2450: Pull request #9150 synchronize by levnach
1h 6m 39s fix-nlsat-clear-crash
fix-nlsat-clear-crash
1h 6m 39s
Fix nlsat clear crash OCaml Binding CI (Ubuntu + macOS) #5515: Pull request #9150 synchronize by levnach
21m 9s fix-nlsat-clear-crash
fix-nlsat-clear-crash
21m 9s
fix heap corruption from root_function move/sort operations CI #2768: Commit b3aef80 pushed by levnach
29m 7s fix-nlsat-clear-crash
fix-nlsat-clear-crash
29m 7s
fix heap corruption from root_function move/sort operations OCaml Binding CI (Ubuntu + macOS) #5514: Commit b3aef80 pushed by levnach
22m 12s fix-nlsat-clear-crash
fix-nlsat-clear-crash
22m 12s
Fix nlsat clear crash OCaml Binding CI (Ubuntu + macOS) #5513: Pull request #9150 synchronize by levnach
22m 28s fix-nlsat-clear-crash
fix-nlsat-clear-crash
22m 28s
Fix nlsat clear crash CI #2767: Pull request #9150 synchronize by levnach
5m 10s fix-nlsat-clear-crash
fix-nlsat-clear-crash
5m 10s
Fix nlsat clear crash WebAssembly Build #6981: Pull request #9150 synchronize by levnach
19m 29s fix-nlsat-clear-crash
fix-nlsat-clear-crash
19m 29s
Fix nlsat clear crash Windows #2449: Pull request #9150 synchronize by levnach
4m 58s fix-nlsat-clear-crash
fix-nlsat-clear-crash
4m 58s