Skip to content

Actions: viperproject/prusti-dev

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
150 workflow run results
150 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix issue #1505 (#1511) Build GitHub pages #423: Commit 0d4a8d4 pushed by fpoli
March 26, 2024 13:08 5m 4s master
master
March 26, 2024 13:08 5m 4s
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) Deploy #800: Commit 0d4a8d4 pushed by fpoli
March 26, 2024 13:08 1h 56m 22s master
master
March 26, 2024 13:08 1h 56m 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 Build GitHub pages #414: Pull request #1510 opened by Simon-Hostettler
March 24, 2024 12:05 5m 14s Simon-Hostettler:master
Simon-Hostettler:master
March 24, 2024 12:05 5m 14s
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) Build GitHub pages #413: Commit 528f4c2 pushed by fpoli
March 6, 2024 10:13 5m 3s master
master
March 6, 2024 10:13 5m 3s
Disable MIR optimizations in tests (#1507) Deploy #799: Commit 528f4c2 pushed by fpoli
March 6, 2024 10:13 1h 54m 22s master
master
March 6, 2024 10:13 1h 54m 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
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) Deploy #798: Commit daf0e86 pushed by fpoli
March 1, 2024 17:58 2h 2m 49s master
master
March 1, 2024 17:58 2h 2m 49s
Fix signed discriminant in pure code (#1502) Build GitHub pages #409: Commit daf0e86 pushed by fpoli
March 1, 2024 17:58 5m 25s master
master
March 1, 2024 17:58 5m 25s
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) Deploy #797: Commit 45405dc pushed by fpoli
March 1, 2024 17:52 2h 11m 29s master
master
March 1, 2024 17:52 2h 11m 29s
Optimize encoding of mir::BinOp::Rem for unsigned integers (#1503) Build GitHub pages #408: Commit 45405dc pushed by fpoli
March 1, 2024 17:52 6m 8s master
master
March 1, 2024 17:52 6m 8s
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
Build GitHub pages Build GitHub pages #403: by fpoli
February 29, 2024 15:39 5m 17s master
master
February 29, 2024 15:39 5m 17s
Deploy Deploy #796: by fpoli
February 29, 2024 15:39 2h 1m 35s master
master
February 29, 2024 15:39 2h 1m 35s
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 Deploy #795: Commit 74a84da pushed by fpoli
February 29, 2024 12:56 1h 59m 1s master
master
February 29, 2024 12:56 1h 59m 1s
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