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

fix: extract 7 unsafe expressions, 30 secrets, and 23 inputs to env vars, pin 19 unpinned actions Windows #2464: Pull request #9143 by dagecko
Failure dagecko:runner-guard/fix-ci-security
dagecko:runner-guard/fix-ci-security
Failure
Nightly Build Validation Nightly Build Validation #82: completed by NikolajBjorner
1m 54s
1m 54s
API Coherence Checker API Coherence Checker #92: Scheduled
9m 44s master
master
9m 44s
Ostrich Benchmark: Z3 c3 branch vs ZIPT Ostrich Benchmark: Z3 c3 branch vs ZIPT #21: Manually run by NikolajBjorner
38m 10s master
master
38m 10s
Nightly Build Validation Nightly Build Validation #81: completed by NikolajBjorner
1s
1s
Nightly Build Nightly Build #109: Manually run by NikolajBjorner
55m 54s master
master
55m 54s
fix riscv64 nightly: install MPFR 4.x before using Ubuntu 20.04 RISC-… OCaml Binding CI (Ubuntu + macOS) #5533: Commit 00418e7 pushed by NikolajBjorner
21m 26s master
master
21m 26s
fix riscv64 nightly: install MPFR 4.x before using Ubuntu 20.04 RISC-… CI #2787: Commit 00418e7 pushed by NikolajBjorner
28m 56s master
master
28m 56s
fix riscv64 nightly: install MPFR 4.x before using Ubuntu 20.04 RISC-… Windows #2463: Commit 00418e7 pushed by NikolajBjorner
1h 5m 17s master
master
1h 5m 17s
fix riscv64 nightly: install MPFR 4.x before using Ubuntu 20.04 RISC-… Build and Cache Z3 #383: Commit 00418e7 pushed by NikolajBjorner
16m 37s master
master
16m 37s
fix riscv64 nightly: install MPFR 4.x before using Ubuntu 20.04 RISC-… WebAssembly Build #6995: Commit 00418e7 pushed by NikolajBjorner
19m 33s master
master
19m 33s
Convert nnf/snf tactics to dependent_expr_simplifier OCaml Binding CI (Ubuntu + macOS) #5530: Pull request #9156 synchronize 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 #2461: Pull request #9156 synchronize 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 CI #2784: Pull request #9156 synchronize 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 #6993: Pull request #9156 synchronize by Copilot AI
Action required copilot/convert-nnf-to-simplifier
copilot/convert-nnf-to-simplifier
Action required
Convert nnf/snf tactics to dependent_expr_state_tactic with nnf_simpl… OCaml Binding CI (Ubuntu + macOS) #5529: Commit 8904fda pushed by Copilot AI
Action required copilot/convert-nnf-to-simplifier
copilot/convert-nnf-to-simplifier
Action required
Convert nnf/snf tactics to dependent_expr_state_tactic with nnf_simpl… CI #2783: Commit 8904fda pushed by Copilot AI
Action required copilot/convert-nnf-to-simplifier
copilot/convert-nnf-to-simplifier
Action required
Convert reduce-bv-size tactic to a dependent_expr_simplifier Windows #2460: Pull request #9155 synchronize 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 WebAssembly Build #6992: Pull request #9155 synchronize 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 #2782: Pull request #9155 synchronize 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) #5528: Pull request #9155 synchronize by Copilot AI
Action required copilot/convert-reduce-bv-size-to-simplifier
copilot/convert-reduce-bv-size-to-simplifier
Action required
Add bv_size_reduction simplifier - convert reduce-bv-size tactic to d… CI #2781: Commit 468ef62 pushed by Copilot AI
Action required copilot/convert-reduce-bv-size-to-simplifier
copilot/convert-reduce-bv-size-to-simplifier
Action required
Add bv_size_reduction simplifier - convert reduce-bv-size tactic to d… OCaml Binding CI (Ubuntu + macOS) #5527: Commit 468ef62 pushed by Copilot AI
Action required copilot/convert-reduce-bv-size-to-simplifier
copilot/convert-reduce-bv-size-to-simplifier
Action required
Convert normalize-bounds tactic to a dependent_expr_simplifier CI #2780: 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 WebAssembly Build #6991: Pull request #9154 synchronize by Copilot AI
Action required copilot/convert-normalize-bounds-to-simplifier
copilot/convert-normalize-bounds-to-simplifier
Action required