Skip to content

Actions: viperproject/prusti-dev

Actions

Test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test.yml
36 workflow run results
36 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix issue #1505 (#1511) Test #7385: Commit 0d4a8d4 pushed by fpoli
March 26, 2024 13:08 2h 7m 47s master
master
March 26, 2024 13:08 2h 7m 47s
Viper Data Collection changes Test #7376: Pull request #1510 opened by Simon-Hostettler
March 24, 2024 12:05 8m 32s Simon-Hostettler:master
Simon-Hostettler:master
March 24, 2024 12:05 8m 32s
Disable MIR optimizations in tests (#1507) Test #7375: Commit 528f4c2 pushed by fpoli
March 6, 2024 10:13 1h 11m 0s master
master
March 6, 2024 10:13 1h 11m 0s
Fix signed discriminant in pure code (#1502) Test #7371: Commit daf0e86 pushed by fpoli
March 1, 2024 17:58 3h 19m 18s master
master
March 1, 2024 17:58 3h 19m 18s
Optimize encoding of mir::BinOp::Rem for unsigned integers (#1503) Test #7370: Commit 45405dc pushed by fpoli
March 1, 2024 17:52 2h 13m 26s master
master
March 1, 2024 17:52 2h 13m 26s
Test Test #7365: by fpoli
February 29, 2024 15:39 1h 11m 9s master
master
February 29, 2024 15:39 1h 11m 9s
Fix zip on windows Test #7364: Commit 74a84da pushed by fpoli
February 29, 2024 12:56 1h 11m 27s master
master
February 29, 2024 12:56 1h 11m 27s
Clean up the coverage workflow Test #7363: Commit 02af397 pushed by fpoli
February 29, 2024 10:39 1h 12m 29s master
master
February 29, 2024 10:39 1h 12m 29s
Test Test #7362: by fpoli
February 29, 2024 10:30 9m 33s master
master
February 29, 2024 10:30 9m 33s
Fix disk usage of the coverage workflow Test #7361: Commit f1d3ac1 pushed by fpoli
February 29, 2024 10:24 6m 18s master
master
February 29, 2024 10:24 6m 18s
Debug coverage workflow Test #7360: Commit abd7afc pushed by fpoli
February 29, 2024 10:08 15m 51s master
master
February 29, 2024 10:08 15m 51s
Fix names of macOS runners Test #7359: Commit 70bc148 pushed by fpoli
February 29, 2024 09:58 9m 36s master
master
February 29, 2024 09:58 9m 36s
Debug coverage workflow Test #7358: Commit 1a3d32c pushed by fpoli
February 29, 2024 09:49 8m 59s master
master
February 29, 2024 09:49 8m 59s
Deploy for macOS arm64 and preserve file attributes (#1499) Test #7357: Commit df9b3ac pushed by fpoli
February 29, 2024 09:43 6m 52s master
master
February 29, 2024 09:43 6m 52s
Reduce disk usage when collecting coverage Test #7356: Commit 96b841c pushed by fpoli
February 29, 2024 09:29 1h 12m 24s master
master
February 29, 2024 09:29 1h 12m 24s
Make ignore_deps_contracts a "category B" flag (#1498) Test #7352: Commit 2d14265 pushed by fpoli
February 28, 2024 16:26 1h 11m 21s master
master
February 28, 2024 16:26 1h 11m 21s
Merge pull request #1496 from nshyrei/ignore_deps_contracts Test #7349: Commit f94b7fa pushed by fpoli
February 26, 2024 13:34 2h 4m 58s master
master
February 26, 2024 13:34 2h 4m 58s
Fix doc (#1492) Test #7343: Commit 2a4f04c pushed by Aurel300
February 14, 2024 09:47 1h 10m 22s master
master
February 14, 2024 09:47 1h 10m 22s
Update readme (#1494) Test #7342: Commit c1a5b12 pushed by fpoli
February 12, 2024 13:27 1h 11m 37s master
master
February 12, 2024 13:27 1h 11m 37s
Update Viper to v-2024-02-01-0836 (#1491) Test #7338: Commit e632f70 pushed by fpoli
February 1, 2024 12:14 2h 17m 10s master
master
February 1, 2024 12:14 2h 17m 10s
Remove redundant invariant (#1487) Test #7330: Commit 2ade23b pushed by fpoli
January 11, 2024 11:31 1h 11m 13s master
master
January 11, 2024 11:31 1h 11m 13s
Merge pull request #1486 from viperproject/fpoli-patch-3 Test #7328: Commit 216e5db pushed by fpoli
January 9, 2024 15:32 1h 13m 46s master
master
January 9, 2024 15:32 1h 13m 46s
Merge pull request #1485 from viperproject/fix-normalization Test #7326: Commit cd736cc pushed by fpoli
January 8, 2024 12:00 2h 5m 19s master
master
January 8, 2024 12:00 2h 5m 19s
Raise an error if old() expressions are used in local vars outside of… Test #7323: Commit 260594b pushed by zgrannan
December 20, 2023 19:36 1h 11m 8s master
master
December 20, 2023 19:36 1h 11m 8s
Disable more complete exhale. Test #7320: Commit 8e372e2 pushed by vakaras
December 8, 2023 20:48 1h 11m 15s master
master
December 8, 2023 20:48 1h 11m 15s