Skip to content

Actions: viperproject/prusti-dev

Actions

Test

Actions

Loading...
Loading

Showing runs from all workflows named Test
73 workflow run results
73 workflow run results

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
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 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
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 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
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
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
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 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
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 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
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 coverage Test coverage #844: by fpoli
February 29, 2024 10:30 1h 5m 41s master
master
February 29, 2024 10:30 1h 5m 41s
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
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 #7360: Commit abd7afc pushed by fpoli
February 29, 2024 10:08 15m 51s master
master
February 29, 2024 10:08 15m 51s
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
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 coverage #840: Commit 1a3d32c pushed by fpoli
February 29, 2024 09:49 13m 59s master
master
February 29, 2024 09:49 13m 59s
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