Skip to content

Actions: Z3Prover/z3

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Agentic Maintenance Agentic Maintenance #839: Scheduled
43s master
master
43s
Memory Safety Analysis Report Generator Memory Safety Analysis Report Generator #55: completed by NikolajBjorner
2m 19s
2m 19s
QF_S String Solver Benchmark QF_S String Solver Benchmark #234: Scheduled
2m 1s master
master
2m 1s
Android Build Android Build #3267: Scheduled
11m 52s master
master
11m 52s
Memory Safety Analysis Memory Safety Analysis #80: Scheduled
29m 20s master
master
29m 20s
MSVC Clang-CL Static Build MSVC Clang-CL Static Build #2148: Scheduled
46m 42s master
master
46m 42s
Mark Pull Requests Ready for Review Mark Pull Requests Ready for Review #452: Scheduled
12s master
master
12s
Issue Backlog Processor Issue Backlog Processor #65: Scheduled
9m 44s master
master
9m 44s
RISC V and PowerPC 64 RISC V and PowerPC 64 #6368: Scheduled
23m 31s master
master
23m 31s
Open Issues Open Issues #3467: Scheduled
39m 3s master
master
39m 3s
MSVC Static Build MSVC Static Build #5428: Scheduled
39m 4s master
master
39m 4s
tweaks to string solver CI #4653: Commit 4cefa52 pushed by NikolajBjorner
30m 58s master
master
30m 58s
tweaks to string solver OCaml Binding CI (Ubuntu + macOS) #7397: Commit 4cefa52 pushed by NikolajBjorner
24m 43s master
master
24m 43s
tweaks to string solver Build and Cache Z3 #776: Commit 4cefa52 pushed by NikolajBjorner
16m 20s master
master
16m 20s
tweaks to string solver WebAssembly Build #8000: Commit 4cefa52 pushed by NikolajBjorner
19m 33s master
master
19m 33s
tweaks to string solver Windows #3427: Commit 4cefa52 pushed by NikolajBjorner
1h 10m 49s master
master
1h 10m 49s
Mitigate str.indexof regression by tightening index bounds and avoiding zero-offset length splits CI #4650: Pull request #9990 synchronize by Copilot AI
30m 52s copilot/fix-performance-regression-queries
copilot/fix-performance-regression-queries
30m 52s
Mitigate str.indexof regression by tightening index bounds and avoiding zero-offset length splits Windows #3425: Pull request #9990 synchronize by Copilot AI
59m 18s copilot/fix-performance-regression-queries
copilot/fix-performance-regression-queries
59m 18s
Mitigate str.indexof regression by tightening index bounds and avoiding zero-offset length splits WebAssembly Build #7998: Pull request #9990 synchronize by Copilot AI
19m 38s copilot/fix-performance-regression-queries
copilot/fix-performance-regression-queries
19m 38s
Mitigate str.indexof regression by tightening index bounds and avoiding zero-offset length splits OCaml Binding CI (Ubuntu + macOS) #7394: Pull request #9990 synchronize by Copilot AI
23m 40s copilot/fix-performance-regression-queries
copilot/fix-performance-regression-queries
23m 40s
Mitigate #5763 sequence indexof performance regression CI #4649: Commit ecb7603 pushed by Copilot AI
29m 43s copilot/fix-performance-regression-queries
copilot/fix-performance-regression-queries
29m 43s
Mitigate #5763 sequence indexof performance regression OCaml Binding CI (Ubuntu + macOS) #7393: Commit ecb7603 pushed by Copilot AI
23m 26s copilot/fix-performance-regression-queries
copilot/fix-performance-regression-queries
23m 26s
Modify thread allocation logic in smt_parallel.cpp OCaml Binding CI (Ubuntu + macOS) #7392: Commit 1745d27 pushed by NikolajBjorner
24m 25s master
master
24m 25s
Modify thread allocation logic in smt_parallel.cpp CI #4648: Commit 1745d27 pushed by NikolajBjorner
29m 55s master
master
29m 55s
Modify thread allocation logic in smt_parallel.cpp WebAssembly Build #7997: Commit 1745d27 pushed by NikolajBjorner
15m 20s master
master
15m 20s