Skip to content

Actions: Z3Prover/z3

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Nightly Build Validation Nightly Build Validation #83: completed by NikolajBjorner
1m 5s
1m 5s
Fix nlsat clear crash CI #2790: Pull request #9150 synchronize by Copilot AI
Action required fix-nlsat-clear-crash
fix-nlsat-clear-crash
Action required
Fix nlsat clear crash WebAssembly Build #6997: Pull request #9150 synchronize by Copilot AI
Action required fix-nlsat-clear-crash
fix-nlsat-clear-crash
Action required
Fix nlsat clear crash Windows #2465: Pull request #9150 synchronize by Copilot AI
Action required fix-nlsat-clear-crash
fix-nlsat-clear-crash
Action required
Fix nlsat clear crash OCaml Binding CI (Ubuntu + macOS) #5536: Pull request #9150 synchronize by Copilot AI
Action required fix-nlsat-clear-crash
fix-nlsat-clear-crash
Action required
Fix apply_permutation to take perm by const reference OCaml Binding CI (Ubuntu + macOS) #5535: Commit f9b6d64 pushed by Copilot AI
Action required fix-nlsat-clear-crash
fix-nlsat-clear-crash
Action required
Fix apply_permutation to take perm by const reference CI #2789: Commit f9b6d64 pushed by Copilot AI
Action required fix-nlsat-clear-crash
fix-nlsat-clear-crash
Action required
Addressing comment on PR #9150 Copilot coding agent #807: by Copilot AI
1m 33s fix-nlsat-clear-crash
fix-nlsat-clear-crash
1m 33s
Nightly Build Nightly Build #110: Scheduled
54m 53s master
master
54m 53s
Build and Cache Z3 Build and Cache Z3 #384: Scheduled
24s master
master
24s
Copilot code review Copilot code review #20: by Copilot AI
6m 27s refs/pull/9150/head
refs/pull/9150/head
6m 27s
Agentic Maintenance Agentic Maintenance #75: Scheduled
1m 11s master
master
1m 11s
ZIPT String Solver Benchmark ZIPT String Solver Benchmark #47: Scheduled
39m 26s master
master
39m 26s
Android Build Android Build #3220: Scheduled
12m 10s master
master
12m 10s
Pyodide Build Pyodide Build #778: Scheduled
22m 11s master
master
22m 11s
ZIPT Code Reviewer ZIPT Code Reviewer #108: Scheduled
5m 32s master
master
5m 32s
MSVC Clang-CL Static Build MSVC Clang-CL Static Build #2101: Scheduled
29m 13s master
master
29m 13s
Mark Pull Requests Ready for Review Mark Pull Requests Ready for Review #77: Scheduled
37s master
master
37s
Issue Backlog Processor Issue Backlog Processor #18: Scheduled
1m 43s master
master
1m 43s
RISC V and PowerPC 64 RISC V and PowerPC 64 #6321: Scheduled
24m 16s master
master
24m 16s
Open Issues Open Issues #3420: Scheduled
38m 38s master
master
38m 38s
MSVC Static Build MSVC Static Build #5381: Scheduled
35m 14s master
master
35m 14s
fix: extract 7 unsafe expressions, 30 secrets, and 23 inputs to env vars, pin 19 unpinned actions WebAssembly Build #6996: 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 #2788: 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) #5534: Pull request #9143 synchronize by dagecko
Action required dagecko:runner-guard/fix-ci-security
dagecko:runner-guard/fix-ci-security
Action required