Skip to content

Actions: viperproject/prusti-dev

Actions

Test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test.yml
209 workflow runs
209 workflow runs

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
Fix issue #1505 Test #7384: Pull request #1511 synchronize by fpoli
March 26, 2024 11:11 1h 56m 38s fix-issue-1505
fix-issue-1505
March 26, 2024 11:11 1h 56m 38s
Fix issue #1505 Test #7383: Pull request #1511 synchronize by fpoli
March 26, 2024 08:50 1h 14m 12s fix-issue-1505
fix-issue-1505
March 26, 2024 08:50 1h 14m 12s
Fix issue #1505 Test #7382: Pull request #1511 synchronize by fpoli
March 26, 2024 08:22 10m 47s fix-issue-1505
fix-issue-1505
March 26, 2024 08:22 10m 47s
Fix issue #1505 Test #7381: Pull request #1511 synchronize by fpoli
March 25, 2024 16:54 1h 13m 24s fix-issue-1505
fix-issue-1505
March 25, 2024 16:54 1h 13m 24s
Fix issue #1505 Test #7380: Pull request #1511 synchronize by fpoli
March 25, 2024 16:54 1m 4s fix-issue-1505
fix-issue-1505
March 25, 2024 16:54 1m 4s
Fix issue #1505 Test #7379: Pull request #1511 synchronize by fpoli
March 25, 2024 14:26 1h 2m 40s fix-issue-1505
fix-issue-1505
March 25, 2024 14:26 1h 2m 40s
Fix issue #1505 Test #7378: Pull request #1511 synchronize by fpoli
March 25, 2024 14:19 7m 36s fix-issue-1505
fix-issue-1505
March 25, 2024 14:19 7m 36s
Fix issue #1505 Test #7377: Pull request #1511 opened by fpoli
March 25, 2024 14:18 54s fix-issue-1505
fix-issue-1505
March 25, 2024 14:18 54s
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
Disable MIR optimizations in tests Test #7374: Pull request #1507 synchronize by fpoli
March 6, 2024 09:01 1h 11m 54s disable-mir-opt
disable-mir-opt
March 6, 2024 09:01 1h 11m 54s
Disable MIR optimizations in tests Test #7373: Pull request #1507 synchronize by fpoli
March 6, 2024 08:57 4m 0s disable-mir-opt
disable-mir-opt
March 6, 2024 08:57 4m 0s
Disable MIR optimizations in tests Test #7372: Pull request #1507 opened by fpoli
March 6, 2024 08:57 1m 39s disable-mir-opt
disable-mir-opt
March 6, 2024 08:57 1m 39s
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
Fix signed discriminant in pure code Test #7369: Pull request #1502 synchronize by fpoli
March 1, 2024 16:05 1h 52m 48s fix-1501
fix-1501
March 1, 2024 16:05 1h 52m 48s
Optimize encoding of mir::BinOp::Rem for unsigned integers Test #7368: Pull request #1503 opened by fpoli
March 1, 2024 15:04 2h 14m 57s optimize-rem
optimize-rem
March 1, 2024 15:04 2h 14m 57s
Fix signed discriminant in pure code Test #7367: Pull request #1502 synchronize by fpoli
March 1, 2024 13:59 1h 42m 22s fix-1501
fix-1501
March 1, 2024 13:59 1h 42m 22s
Fix signed discriminant in pure code Test #7366: Pull request #1502 opened by fpoli
March 1, 2024 13:58 2m 4s fix-1501
fix-1501
March 1, 2024 13:58 2m 4s
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