Skip to content

Actions: viperproject/prusti-dev

Actions

Test coverage

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coverage.yml
9 workflow run results
9 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Restore FIXME (#1442) Test coverage #809: Commit cb68494 pushed by fpoli
August 14, 2023 19:47 37m 49s master
master
August 14, 2023 19:47 37m 49s
Fix encoding of mutually recursive pure functions (#1440) Test coverage #808: Commit 71683df pushed by fpoli
August 14, 2023 15:07 45m 37s master
master
August 14, 2023 15:07 45m 37s
Merge pull request #1430 from viperproject/auto-update-nightly-2023-0… Test coverage #807: Commit d54e24d pushed by Aurel300
August 11, 2023 12:58 42m 12s master
master
August 11, 2023 12:58 42m 12s
Keep all tags and more nightly releases (#1437) Test coverage #806: Commit b256b42 pushed by fpoli
August 11, 2023 12:46 50m 41s master
master
August 11, 2023 12:46 50m 41s
Merge pull request #1435 from viperproject/update-actions Test coverage #805: Commit 3802482 pushed by fpoli
August 11, 2023 09:52 39m 39s master
master
August 11, 2023 09:52 39m 39s
Update README.md Test coverage #804: Commit e2c46e1 pushed by fpoli
August 10, 2023 15:07 39m 41s master
master
August 10, 2023 15:07 39m 41s
Clarify meaning of internal errors (#1433) Test coverage #803: Commit 863cd59 pushed by fpoli
August 4, 2023 10:24 47m 3s master
master
August 4, 2023 10:24 47m 3s
Disable tracing by default (#1422) Test coverage #802: Commit 4c6e982 pushed by fpoli
August 2, 2023 11:52 46m 21s master
master
August 2, 2023 11:52 46m 21s
A random change to see whether crashes are fixed. Test coverage #801: Commit 5486c19 pushed by vakaras
July 20, 2023 19:49 41m 8s master
master
July 20, 2023 19:49 41m 8s