Skip to content

Actions: Z3Prover/z3

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
8,011 workflow runs
8,011 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

turn on ite simplification by default MSVC Clang-CL Static Build #866: Commit e86a918 pushed by NikolajBjorner
March 26, 2025 18:30 26m 56s master
master
March 26, 2025 18:30 26m 56s
turn on ite simplification by default Windows #805: Commit e86a918 pushed by NikolajBjorner
March 26, 2025 18:30 1h 2m 5s master
master
March 26, 2025 18:30 1h 2m 5s
turn on ite simplification by default Android Build #2826: Commit e86a918 pushed by NikolajBjorner
March 26, 2025 18:30 11m 34s master
master
March 26, 2025 18:30 11m 34s
turn on ite simplification by default MSVC Static Build #4145: Commit e86a918 pushed by NikolajBjorner
March 26, 2025 18:30 28m 35s master
master
March 26, 2025 18:30 28m 35s
turn on ite simplification by default Pyodide Build #380: Commit e86a918 pushed by NikolajBjorner
March 26, 2025 18:30 20m 57s master
master
March 26, 2025 18:30 20m 57s
turn on ite simplification by default WebAssembly Build #3697: Commit e86a918 pushed by NikolajBjorner
March 26, 2025 18:30 17m 22s master
master
March 26, 2025 18:30 17m 22s
turn on ite simplification by default RISC V and PowerPC 64 #5084: Commit e86a918 pushed by NikolajBjorner
March 26, 2025 18:30 21m 16s master
master
March 26, 2025 18:30 21m 16s
turn on ite simplification by default Open Issues #3012: Commit e86a918 pushed by NikolajBjorner
March 26, 2025 18:30 32m 35s master
master
March 26, 2025 18:30 32m 35s
fix indentation MSVC Clang-CL Static Build #865: Commit 8368094 pushed by NikolajBjorner
March 26, 2025 04:27 27m 35s master
master
March 26, 2025 04:27 27m 35s
fix indentation WebAssembly Build #3696: Commit 8368094 pushed by NikolajBjorner
March 26, 2025 04:27 17m 17s master
master
March 26, 2025 04:27 17m 17s
fix indentation MSVC Static Build #4144: Commit 8368094 pushed by NikolajBjorner
March 26, 2025 04:27 28m 32s master
master
March 26, 2025 04:27 28m 32s
fix indentation Open Issues #3011: Commit 8368094 pushed by NikolajBjorner
March 26, 2025 04:27 32m 46s master
master
March 26, 2025 04:27 32m 46s
fix indentation RISC V and PowerPC 64 #5083: Commit 8368094 pushed by NikolajBjorner
March 26, 2025 04:27 20m 42s master
master
March 26, 2025 04:27 20m 42s
fix indentation Windows #804: Commit 8368094 pushed by NikolajBjorner
March 26, 2025 04:27 1h 2m 15s master
master
March 26, 2025 04:27 1h 2m 15s
fix indentation Pyodide Build #379: Commit 8368094 pushed by NikolajBjorner
March 26, 2025 04:27 20m 24s master
master
March 26, 2025 04:27 20m 24s
fix indentation Android Build #2825: Commit 8368094 pushed by NikolajBjorner
March 26, 2025 04:27 11m 28s master
master
March 26, 2025 04:27 11m 28s
replace costly ite reduction by disjointnes check WebAssembly Build #3695: Commit 4fd6ba4 pushed by NikolajBjorner
March 26, 2025 04:15 17m 38s master
master
March 26, 2025 04:15 17m 38s
replace costly ite reduction by disjointnes check Windows #803: Commit 4fd6ba4 pushed by NikolajBjorner
March 26, 2025 04:15 58m 40s master
master
March 26, 2025 04:15 58m 40s
replace costly ite reduction by disjointnes check Android Build #2824: Commit 4fd6ba4 pushed by NikolajBjorner
March 26, 2025 04:15 11m 34s master
master
March 26, 2025 04:15 11m 34s
replace costly ite reduction by disjointnes check RISC V and PowerPC 64 #5082: Commit 4fd6ba4 pushed by NikolajBjorner
March 26, 2025 04:15 22m 42s master
master
March 26, 2025 04:15 22m 42s
replace costly ite reduction by disjointnes check MSVC Clang-CL Static Build #864: Commit 4fd6ba4 pushed by NikolajBjorner
March 26, 2025 04:15 27m 55s master
master
March 26, 2025 04:15 27m 55s
replace costly ite reduction by disjointnes check MSVC Static Build #4143: Commit 4fd6ba4 pushed by NikolajBjorner
March 26, 2025 04:15 28m 8s master
master
March 26, 2025 04:15 28m 8s
replace costly ite reduction by disjointnes check Pyodide Build #378: Commit 4fd6ba4 pushed by NikolajBjorner
March 26, 2025 04:15 20m 18s master
master
March 26, 2025 04:15 20m 18s
replace costly ite reduction by disjointnes check Open Issues #3010: Commit 4fd6ba4 pushed by NikolajBjorner
March 26, 2025 04:15 33m 48s master
master
March 26, 2025 04:15 33m 48s
optimize bool rewriter Android Build #2823: Commit 392bc16 pushed by NikolajBjorner
March 25, 2025 21:08 11m 21s master
master
March 25, 2025 21:08 11m 21s