Skip to content

Actions: Z3Prover/z3

Actions

Code Coverage

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coverage.yml
1,329 workflow runs
1,329 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

attempt to use uniform java library location under bin #7406 Code Coverage #3799: Commit b65afd4 pushed by NikolajBjorner
September 30, 2024 15:58 29m 29s master
master
September 30, 2024 15:58 29m 29s
increment minor revision number Code Coverage #3798: Commit 2ac6f8b pushed by NikolajBjorner
September 30, 2024 14:28 29m 45s master
master
September 30, 2024 14:28 29m 45s
remove --java option Code Coverage #3797: Commit c2b2626 pushed by NikolajBjorner
September 30, 2024 14:27 30m 7s master
master
September 30, 2024 14:27 30m 7s
Code Coverage Code Coverage #3796: Scheduled
September 30, 2024 11:05 28m 40s master
master
September 30, 2024 11:05 28m 40s
Update nightly.yaml for Azure Pipelines Code Coverage #3795: Commit 2123d38 pushed by NikolajBjorner
September 30, 2024 03:16 29m 54s master
master
September 30, 2024 03:16 29m 54s
try to build java on linux/arm nightly Code Coverage #3794: Commit fc1c6b4 pushed by NikolajBjorner
September 30, 2024 03:14 29m 22s master
master
September 30, 2024 03:14 29m 22s
Code Coverage Code Coverage #3793: Scheduled
September 29, 2024 11:05 29m 31s master
master
September 29, 2024 11:05 29m 31s
Code Coverage Code Coverage #3792: Scheduled
September 28, 2024 11:06 29m 17s master
master
September 28, 2024 11:06 29m 17s
update version number and release notes Code Coverage #3791: Commit 9a8ff74 pushed by NikolajBjorner
September 27, 2024 16:49 30m 5s master
master
September 27, 2024 16:49 30m 5s
make default tactic cases lazy Code Coverage #3790: Commit 11bb19d pushed by NikolajBjorner
September 27, 2024 14:11 29m 35s master
master
September 27, 2024 14:11 29m 35s
fixes to lazy tactic uses Code Coverage #3789: Commit 40b0210 pushed by NikolajBjorner
September 27, 2024 13:33 29m 53s master
master
September 27, 2024 13:33 29m 53s
Code Coverage Code Coverage #3788: Scheduled
September 27, 2024 11:05 26m 12s master
master
September 27, 2024 11:05 26m 12s
fix #7404, relates to #7400. Code Coverage #3787: Commit 01cf042 pushed by NikolajBjorner
September 27, 2024 10:36 26m 29s master
master
September 27, 2024 10:36 26m 29s
pypi publish Code Coverage #3786: Commit d047b86 pushed by NikolajBjorner
September 26, 2024 20:35 40m 30s master
master
September 26, 2024 20:35 40m 30s
update signature of operator== Code Coverage #3785: Commit 3df7299 pushed by NikolajBjorner
September 26, 2024 13:47 40m 30s master
master
September 26, 2024 13:47 40m 30s
align nightly and release yamls Code Coverage #3784: Commit 649c36a pushed by NikolajBjorner
September 26, 2024 12:59 40m 34s master
master
September 26, 2024 12:59 40m 34s
Code Coverage Code Coverage #3783: Scheduled
September 26, 2024 11:05 40m 21s master
master
September 26, 2024 11:05 40m 21s
set to macos latest Code Coverage #3782: Commit 8d831a1 pushed by NikolajBjorner
September 26, 2024 10:22 40m 31s master
master
September 26, 2024 10:22 40m 31s
remove ubuntu20 Code Coverage #3781: Commit b39bcd6 pushed by NikolajBjorner
September 26, 2024 10:21 40m 37s master
master
September 26, 2024 10:21 40m 37s
fix indent Code Coverage #3780: Commit ebdb037 pushed by NikolajBjorner
September 26, 2024 10:02 39m 52s master
master
September 26, 2024 10:02 39m 52s
skip pypi publish during dry run Code Coverage #3779: Commit c690279 pushed by NikolajBjorner
September 26, 2024 09:03 40m 57s master
master
September 26, 2024 09:03 40m 57s
wasm: increase timeout in tests (#7401) Code Coverage #3778: Commit 77aa528 pushed by NikolajBjorner
September 25, 2024 17:33 41m 43s master
master
September 25, 2024 17:33 41m 43s
wasm: increase timeout in tests Code Coverage #3777: Pull request #7401 opened by bakkot
September 25, 2024 16:09 40m 41s bakkot:wasm-timeouts
bakkot:wasm-timeouts
September 25, 2024 16:09 40m 41s
wasm: attempt to GC in tests (#7400) Code Coverage #3776: Commit 103c5ad pushed by NikolajBjorner
September 25, 2024 14:53 40m 51s master
master
September 25, 2024 14:53 40m 51s
Code Coverage Code Coverage #3774: Scheduled
September 25, 2024 11:05 40m 39s master
master
September 25, 2024 11:05 40m 39s