Skip to content

Actions: Z3Prover/z3

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
13,499 workflow runs
13,499 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Nightly Build Nightly Build #9: Manually run by NikolajBjorner
50m 45s master
master
50m 45s
Update nightly.yml Windows #1432: Commit d2253b6 pushed by NikolajBjorner
1h 3m 27s master
master
1h 3m 27s
Update nightly.yml WebAssembly Build #5288: Commit d2253b6 pushed by NikolajBjorner
15m 30s master
master
15m 30s
Update nightly.yml OCaml Binding CI (Ubuntu + macOS) #2621: Commit d2253b6 pushed by NikolajBjorner
19m 5s master
master
19m 5s
RISC V and PowerPC 64 RISC V and PowerPC 64 #6285: Manually run by NikolajBjorner
23m 0s master
master
23m 0s
Update C++ compiler version in cross-build workflow Windows #1431: Commit cfe780c pushed by NikolajBjorner
1h 2m 58s master
master
1h 2m 58s
Update C++ compiler version in cross-build workflow WebAssembly Build #5287: Commit cfe780c pushed by NikolajBjorner
17m 48s master
master
17m 48s
Update C++ compiler version in cross-build workflow OCaml Binding CI (Ubuntu + macOS) #2620: Commit cfe780c pushed by NikolajBjorner
18m 51s master
master
18m 51s
RISC V and PowerPC 64 RISC V and PowerPC 64 #6284: Manually run by NikolajBjorner
43s master
master
43s
Change container image from ubuntu:jammy to ubuntu:noble Windows #1430: Commit c2a8416 pushed by NikolajBjorner
1h 5m 16s master
master
1h 5m 16s
Change container image from ubuntu:jammy to ubuntu:noble WebAssembly Build #5286: Commit c2a8416 pushed by NikolajBjorner
18m 3s master
master
18m 3s
Change container image from ubuntu:jammy to ubuntu:noble OCaml Binding CI (Ubuntu + macOS) #2619: Commit c2a8416 pushed by NikolajBjorner
19m 10s master
master
19m 10s
Addressing comment on PR #8221 Copilot coding agent #208: by Copilot AI
3m 35s copilot/fix-error-in-ci-job
copilot/fix-error-in-ci-job
3m 35s
Running Copilot coding agent Copilot coding agent #207: by Copilot AI
5m 8s copilot/fix-error-in-ci-job
copilot/fix-error-in-ci-job
5m 8s
RISC V and PowerPC 64 RISC V and PowerPC 64 #6283: Manually run by NikolajBjorner
21s master
master
21s
Update GCC version in cross-build workflow WebAssembly Build #5282: Commit 475087c pushed by NikolajBjorner
17m 45s master
master
17m 45s
Update GCC version in cross-build workflow OCaml Binding CI (Ubuntu + macOS) #2613: Commit 475087c pushed by NikolajBjorner
18m 57s master
master
18m 57s
Update GCC version in cross-build workflow Windows #1429: Commit 475087c pushed by NikolajBjorner
1h 3m 3s master
master
1h 3m 3s
RISC V and PowerPC 64 RISC V and PowerPC 64 #6282: Manually run by NikolajBjorner
1m 46s master
master
1m 46s
Cache partition boundary to avoid repeated algebraic number comparisons OCaml Binding CI (Ubuntu + macOS) #2612: Commit ce0067c pushed by levnach
19m 35s lws
lws
19m 35s
Nightly Build Nightly Build #8: Manually run by NikolajBjorner
51m 25s master
master
51m 25s
Update nightly.yml WebAssembly Build #5281: Commit 8fbce2c pushed by NikolajBjorner
14m 32s master
master
14m 32s
Update nightly.yml OCaml Binding CI (Ubuntu + macOS) #2611: Commit 8fbce2c pushed by NikolajBjorner
19m 3s master
master
19m 3s
Update nightly.yml Windows #1428: Commit 8fbce2c pushed by NikolajBjorner
1h 5m 14s master
master
1h 5m 14s
Nightly Build Nightly Build #7: Manually run by NikolajBjorner
51m 56s master
master
51m 56s