Skip to content

Actions: viperproject/prusti-dev

Actions

Test coverage

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coverage.yml
50 workflow runs
50 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix issue #1505 (#1511) Test coverage #851: Commit 0d4a8d4 pushed by fpoli
March 26, 2024 13:08 1h 5m 22s master
master
March 26, 2024 13:08 1h 5m 22s
Disable MIR optimizations in tests (#1507) Test coverage #850: Commit 528f4c2 pushed by fpoli
March 6, 2024 10:13 1h 4m 53s master
master
March 6, 2024 10:13 1h 4m 53s
Fix signed discriminant in pure code (#1502) Test coverage #849: Commit daf0e86 pushed by fpoli
March 1, 2024 17:58 1h 4m 4s master
master
March 1, 2024 17:58 1h 4m 4s
Optimize encoding of mir::BinOp::Rem for unsigned integers (#1503) Test coverage #848: Commit 45405dc pushed by fpoli
March 1, 2024 17:52 1h 4m 10s master
master
March 1, 2024 17:52 1h 4m 10s
Test coverage Test coverage #847: by fpoli
February 29, 2024 15:39 1h 4m 7s master
master
February 29, 2024 15:39 1h 4m 7s
Fix zip on windows Test coverage #846: Commit 74a84da pushed by fpoli
February 29, 2024 12:56 1h 5m 40s master
master
February 29, 2024 12:56 1h 5m 40s
Clean up the coverage workflow Test coverage #845: Commit 02af397 pushed by fpoli
February 29, 2024 10:39 1h 4m 38s master
master
February 29, 2024 10:39 1h 4m 38s
Test coverage Test coverage #844: by fpoli
February 29, 2024 10:30 1h 5m 41s master
master
February 29, 2024 10:30 1h 5m 41s
Fix disk usage of the coverage workflow Test coverage #843: Commit f1d3ac1 pushed by fpoli
February 29, 2024 10:24 12m 23s master
master
February 29, 2024 10:24 12m 23s
Debug coverage workflow Test coverage #842: Commit abd7afc pushed by fpoli
February 29, 2024 10:08 13m 40s master
master
February 29, 2024 10:08 13m 40s
Fix names of macOS runners Test coverage #841: Commit 70bc148 pushed by fpoli
February 29, 2024 09:58 14m 1s master
master
February 29, 2024 09:58 14m 1s
Debug coverage workflow Test coverage #840: Commit 1a3d32c pushed by fpoli
February 29, 2024 09:49 13m 59s master
master
February 29, 2024 09:49 13m 59s
Deploy for macOS arm64 and preserve file attributes (#1499) Test coverage #839: Commit df9b3ac pushed by fpoli
February 29, 2024 09:43 15m 3s master
master
February 29, 2024 09:43 15m 3s
Reduce disk usage when collecting coverage Test coverage #838: Commit 96b841c pushed by fpoli
February 29, 2024 09:29 14m 43s master
master
February 29, 2024 09:29 14m 43s
Make ignore_deps_contracts a "category B" flag (#1498) Test coverage #837: Commit 2d14265 pushed by fpoli
February 28, 2024 16:26 14m 53s master
master
February 28, 2024 16:26 14m 53s
Merge pull request #1496 from nshyrei/ignore_deps_contracts Test coverage #836: Commit f94b7fa pushed by fpoli
February 26, 2024 13:34 17m 8s master
master
February 26, 2024 13:34 17m 8s
Fix doc (#1492) Test coverage #835: Commit 2a4f04c pushed by Aurel300
February 14, 2024 09:47 30m 10s master
master
February 14, 2024 09:47 30m 10s
Update readme (#1494) Test coverage #834: Commit c1a5b12 pushed by fpoli
February 12, 2024 13:27 30m 58s master
master
February 12, 2024 13:27 30m 58s
Update Viper to v-2024-02-01-0836 (#1491) Test coverage #833: Commit e632f70 pushed by fpoli
February 1, 2024 12:14 1h 1m 0s master
master
February 1, 2024 12:14 1h 1m 0s
Remove redundant invariant (#1487) Test coverage #832: Commit 2ade23b pushed by fpoli
January 11, 2024 11:31 1h 2m 20s master
master
January 11, 2024 11:31 1h 2m 20s
Merge pull request #1486 from viperproject/fpoli-patch-3 Test coverage #831: Commit 216e5db pushed by fpoli
January 9, 2024 15:32 49m 3s master
master
January 9, 2024 15:32 49m 3s
Merge pull request #1485 from viperproject/fix-normalization Test coverage #830: Commit cd736cc pushed by fpoli
January 8, 2024 12:00 50m 3s master
master
January 8, 2024 12:00 50m 3s
Raise an error if old() expressions are used in local vars outside of… Test coverage #829: Commit 260594b pushed by zgrannan
December 20, 2023 19:36 46m 28s master
master
December 20, 2023 19:36 46m 28s
Disable more complete exhale. Test coverage #828: Commit 8e372e2 pushed by vakaras
December 8, 2023 20:48 49m 34s master
master
December 8, 2023 20:48 49m 34s
Raise an error when postconditions of pure functions contain old() ex… Test coverage #827: Commit 202ca0e pushed by zgrannan
December 7, 2023 14:49 46m 10s master
master
December 7, 2023 14:49 46m 10s