Skip to content

Actions: Z3Prover/z3

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Code Coverage Code Coverage #4034: Scheduled
December 11, 2024 11:05 29m 44s master
master
December 11, 2024 11:05 29m 44s
Code Coverage Code Coverage #4033: Scheduled
December 10, 2024 11:05 29m 55s master
master
December 10, 2024 11:05 29m 55s
fix #7461 Code Coverage #4032: Commit e8c2360 pushed by NikolajBjorner
December 10, 2024 00:57 30m 12s master
master
December 10, 2024 00:57 30m 12s
fix #7461 Windows #499: Commit e8c2360 pushed by NikolajBjorner
December 10, 2024 00:57 1h 3m 10s master
master
December 10, 2024 00:57 1h 3m 10s
fix #7461 MSVC Clang-CL Static Build #372: Commit e8c2360 pushed by NikolajBjorner
December 10, 2024 00:57 23m 13s master
master
December 10, 2024 00:57 23m 13s
fix #7461 MSVC Static Build #3608: Commit e8c2360 pushed by NikolajBjorner
December 10, 2024 00:57 28m 46s master
master
December 10, 2024 00:57 28m 46s
fix #7461 Android Build #2520: Commit e8c2360 pushed by NikolajBjorner
December 10, 2024 00:57 11m 26s master
master
December 10, 2024 00:57 11m 26s
fix #7461 Open Issues #2706: Commit e8c2360 pushed by NikolajBjorner
December 10, 2024 00:57 33m 43s master
master
December 10, 2024 00:57 33m 43s
fix #7461 Pyodide Build #74: Commit e8c2360 pushed by NikolajBjorner
December 10, 2024 00:57 20m 20s master
master
December 10, 2024 00:57 20m 20s
fix #7461 WebAssembly Build #3314: Commit e8c2360 pushed by NikolajBjorner
December 10, 2024 00:57 16m 32s master
master
December 10, 2024 00:57 16m 32s
fix #7461 RISC V and PowerPC 64 #4547: Commit e8c2360 pushed by NikolajBjorner
December 10, 2024 00:57 22m 4s master
master
December 10, 2024 00:57 22m 4s
add another baseline heuristic for string equalities, add cases for a… Code Coverage #4031: Commit 8f5658b pushed by NikolajBjorner
December 9, 2024 23:55 30m 14s master
master
December 9, 2024 23:55 30m 14s
add another baseline heuristic for string equalities, add cases for a… WebAssembly Build #3313: Commit 8f5658b pushed by NikolajBjorner
December 9, 2024 23:55 16m 59s master
master
December 9, 2024 23:55 16m 59s
add another baseline heuristic for string equalities, add cases for a… MSVC Static Build #3607: Commit 8f5658b pushed by NikolajBjorner
December 9, 2024 23:55 28m 0s master
master
December 9, 2024 23:55 28m 0s
add another baseline heuristic for string equalities, add cases for a… Pyodide Build #73: Commit 8f5658b pushed by NikolajBjorner
December 9, 2024 23:55 20m 42s master
master
December 9, 2024 23:55 20m 42s
add another baseline heuristic for string equalities, add cases for a… Android Build #2519: Commit 8f5658b pushed by NikolajBjorner
December 9, 2024 23:55 11m 6s master
master
December 9, 2024 23:55 11m 6s
add another baseline heuristic for string equalities, add cases for a… Open Issues #2705: Commit 8f5658b pushed by NikolajBjorner
December 9, 2024 23:55 27m 50s master
master
December 9, 2024 23:55 27m 50s
add another baseline heuristic for string equalities, add cases for a… MSVC Clang-CL Static Build #371: Commit 8f5658b pushed by NikolajBjorner
December 9, 2024 23:55 22m 36s master
master
December 9, 2024 23:55 22m 36s
add another baseline heuristic for string equalities, add cases for a… Windows #498: Commit 8f5658b pushed by NikolajBjorner
December 9, 2024 23:55 1h 0m 5s master
master
December 9, 2024 23:55 1h 0m 5s
add another baseline heuristic for string equalities, add cases for a… RISC V and PowerPC 64 #4546: Commit 8f5658b pushed by NikolajBjorner
December 9, 2024 23:55 10m 12s master
master
December 9, 2024 23:55 10m 12s
github_actions in /. - Update #930078720 Dependabot Updates #22: by dependabot bot
December 9, 2024 22:21 46s master
master
December 9, 2024 22:21 46s
Code Coverage Code Coverage #4030: Scheduled
December 9, 2024 11:06 30m 0s master
master
December 9, 2024 11:06 30m 0s
Code Coverage Code Coverage #4029: Scheduled
December 8, 2024 11:05 29m 46s master
master
December 8, 2024 11:05 29m 46s
Code Coverage Code Coverage #4028: Scheduled
December 7, 2024 11:05 29m 27s master
master
December 7, 2024 11:05 29m 27s
Update emscripten (#7473) RISC V and PowerPC 64 #4545: Commit e5f8327 pushed by NikolajBjorner
December 7, 2024 02:11 21m 47s master
master
December 7, 2024 02:11 21m 47s