Skip to content

Actions: viperproject/prusti-dev

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
374 workflow runs
374 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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 (#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) 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 Build GitHub pages #412: Pull request #1507 synchronize by fpoli
March 6, 2024 09:01 4m 58s disable-mir-opt
disable-mir-opt
March 6, 2024 09:01 4m 58s
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 Build GitHub pages #411: Pull request #1507 synchronize by fpoli
March 6, 2024 08:57 5m 9s disable-mir-opt
disable-mir-opt
March 6, 2024 08:57 5m 9s
Disable MIR optimizations in tests Build GitHub pages #410: Pull request #1507 opened by fpoli
March 6, 2024 08:57 5m 12s disable-mir-opt
disable-mir-opt
March 6, 2024 08:57 5m 12s
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
pages build and deployment pages-build-deployment #755: by github-pages bot
March 1, 2024 18:03 43s gh-pages
gh-pages
March 1, 2024 18:03 43s
pages build and deployment pages-build-deployment #754: by github-pages bot
March 1, 2024 17:58 33s gh-pages
gh-pages
March 1, 2024 17:58 33s
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
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
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) 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
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) 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
Fix signed discriminant in pure code Build GitHub pages #407: Pull request #1502 synchronize by fpoli
March 1, 2024 16:05 5m 16s fix-1501
fix-1501
March 1, 2024 16:05 5m 16s
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 Build GitHub pages #406: Pull request #1503 opened by fpoli
March 1, 2024 15:04 38m 38s optimize-rem
optimize-rem
March 1, 2024 15:04 38m 38s
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