Skip to content

Actions: Z3Prover/z3

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Code Coverage Code Coverage #3862: Scheduled
October 18, 2024 11:05 29m 38s master
master
October 18, 2024 11:05 29m 38s
redo dfs RISC V and PowerPC 64 #4348: Commit 7b42ab5 pushed by NikolajBjorner
October 17, 2024 20:00 22m 12s sls
sls
October 17, 2024 20:00 22m 12s
redo dfs MSVC Static Build #3409: Commit 7b42ab5 pushed by NikolajBjorner
October 17, 2024 20:00 25m 35s sls
sls
October 17, 2024 20:00 25m 35s
redo dfs MSVC Clang-CL Static Build #200: Commit 7b42ab5 pushed by NikolajBjorner
October 17, 2024 20:00 21m 10s sls
sls
October 17, 2024 20:00 21m 10s
fixes RISC V and PowerPC 64 #4347: Commit 69c28f8 pushed by NikolajBjorner
October 17, 2024 18:35 21m 39s sls
sls
October 17, 2024 18:35 21m 39s
fixes MSVC Clang-CL Static Build #199: Commit 69c28f8 pushed by NikolajBjorner
October 17, 2024 18:35 21m 20s sls
sls
October 17, 2024 18:35 21m 20s
fixes MSVC Static Build #3408: Commit 69c28f8 pushed by NikolajBjorner
October 17, 2024 18:35 25m 47s sls
sls
October 17, 2024 18:35 25m 47s
Code Coverage Code Coverage #3861: Scheduled
October 17, 2024 11:05 29m 38s master
master
October 17, 2024 11:05 29m 38s
fixup finite domain search MSVC Static Build #3407: Commit 0218a15 pushed by NikolajBjorner
October 17, 2024 04:00 25m 11s sls
sls
October 17, 2024 04:00 25m 11s
fixup finite domain search RISC V and PowerPC 64 #4346: Commit 0218a15 pushed by NikolajBjorner
October 17, 2024 04:00 22m 14s sls
sls
October 17, 2024 04:00 22m 14s
fixup finite domain search MSVC Clang-CL Static Build #198: Commit 0218a15 pushed by NikolajBjorner
October 17, 2024 04:00 20m 36s sls
sls
October 17, 2024 04:00 20m 36s
fixup finite domain search MSVC Clang-CL Static Build #197: Commit 8ababaf pushed by NikolajBjorner
October 17, 2024 03:41 20m 45s sls
sls
October 17, 2024 03:41 20m 45s
fixup finite domain search RISC V and PowerPC 64 #4345: Commit 8ababaf pushed by NikolajBjorner
October 17, 2024 03:41 21m 23s sls
sls
October 17, 2024 03:41 21m 23s
fixup finite domain search MSVC Static Build #3406: Commit 8ababaf pushed by NikolajBjorner
October 17, 2024 03:41 24m 42s sls
sls
October 17, 2024 03:41 24m 42s
add missing factory plugins to model MSVC Static Build #3405: Commit 6143070 pushed by NikolajBjorner
October 17, 2024 02:47 25m 12s sls
sls
October 17, 2024 02:47 25m 12s
add missing factory plugins to model MSVC Clang-CL Static Build #196: Commit 6143070 pushed by NikolajBjorner
October 17, 2024 02:47 19m 35s sls
sls
October 17, 2024 02:47 19m 35s
add missing factory plugins to model RISC V and PowerPC 64 #4344: Commit 6143070 pushed by NikolajBjorner
October 17, 2024 02:47 21m 50s sls
sls
October 17, 2024 02:47 21m 50s
add variables from definitions Code Coverage #3860: Commit a23a8cd pushed by NikolajBjorner
October 17, 2024 02:08 29m 54s master
master
October 17, 2024 02:08 29m 54s
add variables from definitions Windows #402: Commit a23a8cd pushed by NikolajBjorner
October 17, 2024 02:08 56m 10s master
master
October 17, 2024 02:08 56m 10s
add variables from definitions Android Build #2423: Commit a23a8cd pushed by NikolajBjorner
October 17, 2024 02:08 10m 44s master
master
October 17, 2024 02:08 10m 44s
add variables from definitions MSVC Static Build #3404: Commit a23a8cd pushed by NikolajBjorner
October 17, 2024 02:08 24m 50s master
master
October 17, 2024 02:08 24m 50s
add variables from definitions Open Issues #2609: Commit a23a8cd pushed by NikolajBjorner
October 17, 2024 02:08 32m 52s master
master
October 17, 2024 02:08 32m 52s
add variables from definitions RISC V and PowerPC 64 #4343: Commit a23a8cd pushed by NikolajBjorner
October 17, 2024 02:08 22m 43s master
master
October 17, 2024 02:08 22m 43s
add variables from definitions WebAssembly Build #3196: Commit a23a8cd pushed by NikolajBjorner
October 17, 2024 02:08 12m 59s master
master
October 17, 2024 02:08 12m 59s
add variables from definitions MSVC Clang-CL Static Build #195: Commit a23a8cd pushed by NikolajBjorner
October 17, 2024 02:08 21m 21s master
master
October 17, 2024 02:08 21m 21s