Skip to content

Actions: Z3Prover/z3

Actions

Code Coverage

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coverage.yml
1,019 workflow run results
1,019 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Code Coverage Code Coverage #3496: Scheduled
June 20, 2024 11:05 36m 0s master
master
June 20, 2024 11:05 36m 0s
skip signing Code Coverage #3495: Commit b5c3a6a pushed by NikolajBjorner
June 20, 2024 01:28 37m 2s master
master
June 20, 2024 01:28 37m 2s
update to macOS-latest Code Coverage #3494: Commit 4ca59c5 pushed by NikolajBjorner
June 20, 2024 00:26 36m 55s master
master
June 20, 2024 00:26 36m 55s
revert nightly to 2_28 manylinux Code Coverage #3493: Commit 2654d80 pushed by NikolajBjorner
June 19, 2024 23:19 36m 43s master
master
June 19, 2024 23:19 36m 43s
fix #7260 Code Coverage #3492: Commit 3bf2b3f pushed by NikolajBjorner
June 19, 2024 22:37 36m 51s master
master
June 19, 2024 22:37 36m 51s
Bump docker/build-push-action from 5.3.0 to 6.0.0 (#7257) Code Coverage #3491: Commit 223b65b pushed by NikolajBjorner
June 19, 2024 22:29 36m 43s master
master
June 19, 2024 22:29 36m 43s
Bump braces from 3.0.2 to 3.0.3 in /src/api/js (#7261) Code Coverage #3490: Commit 758d886 pushed by NikolajBjorner
June 19, 2024 22:29 36m 18s master
master
June 19, 2024 22:29 36m 18s
Code Coverage Code Coverage #3489: Scheduled
June 19, 2024 11:05 36m 56s master
master
June 19, 2024 11:05 36m 56s
Code Coverage Code Coverage #3488: Scheduled
June 18, 2024 11:05 36m 45s master
master
June 18, 2024 11:05 36m 45s
fix lemma logging in nlsat Code Coverage #3487: Commit bf3615d pushed by levnach
June 17, 2024 20:15 36m 37s master
master
June 17, 2024 20:15 36m 37s
remove unused column_info.h Code Coverage #3486: Commit e4b3df2 pushed by levnach
June 17, 2024 19:58 36m 49s master
master
June 17, 2024 19:58 36m 49s
update containers for Python, first steps to address #7232 Code Coverage #3485: Commit c0b4d02 pushed by NikolajBjorner
June 17, 2024 15:06 36m 52s master
master
June 17, 2024 15:06 36m 52s
Code Coverage Code Coverage #3484: Scheduled
June 17, 2024 11:05 37m 18s master
master
June 17, 2024 11:05 37m 18s
add partial evaluation cases for algebraic data-types for recursive f… Code Coverage #3483: Commit ef86f5f pushed by NikolajBjorner
June 16, 2024 23:07 36m 47s master
master
June 16, 2024 23:07 36m 47s
Code Coverage Code Coverage #3482: Scheduled
June 16, 2024 11:05 36m 26s master
master
June 16, 2024 11:05 36m 26s
Code Coverage Code Coverage #3481: Scheduled
June 15, 2024 11:05 36m 38s master
master
June 15, 2024 11:05 36m 38s
fix #7245 Code Coverage #3480: Commit 01e47bf pushed by NikolajBjorner
June 15, 2024 09:29 36m 34s master
master
June 15, 2024 09:29 36m 34s
Code Coverage Code Coverage #3479: Scheduled
June 14, 2024 11:05 36m 24s master
master
June 14, 2024 11:05 36m 24s
fix #7252 Code Coverage #3478: Commit a6b5027 pushed by NikolajBjorner
June 14, 2024 00:52 37m 1s master
master
June 14, 2024 00:52 37m 1s
Code Coverage Code Coverage #3477: Scheduled
June 13, 2024 11:05 36m 51s master
master
June 13, 2024 11:05 36m 51s
fix #7248 Code Coverage #3476: Commit 35c1cac pushed by NikolajBjorner
June 12, 2024 21:26 37m 3s master
master
June 12, 2024 21:26 37m 3s
fixes to #7250 Code Coverage #3475: Commit b831a58 pushed by NikolajBjorner
June 12, 2024 15:50 37m 32s master
master
June 12, 2024 15:50 37m 32s
Code Coverage Code Coverage #3474: Scheduled
June 12, 2024 11:05 40m 16s master
master
June 12, 2024 11:05 40m 16s
Code Coverage Code Coverage #3473: Scheduled
June 11, 2024 11:06 37m 1s master
master
June 11, 2024 11:06 37m 1s
Code Coverage Code Coverage #3472: Scheduled
June 10, 2024 11:05 37m 16s master
master
June 10, 2024 11:05 37m 16s