Skip to content

Actions: viperproject/prusti-dev

Build GitHub pages

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
422 workflow runs
422 workflow runs
Event

Filter by event

Loading
Status

Filter by status

Loading
Branch
Actor

Filter by actor

Loading
Fix issue #1505 (#1511)
Build GitHub pages #423: Commit 0d4a8d4 pushed by fpoli
March 26, 2024 13:08 5m 4s master
March 26, 2024 13:08 5m 4s
Fix issue #1505
Build GitHub pages #422: Pull request #1511 synchronize by fpoli
March 26, 2024 11:11 4m 56s fix-issue-1505
March 26, 2024 11:11 4m 56s
Fix issue #1505
Build GitHub pages #421: Pull request #1511 synchronize by fpoli
March 26, 2024 08:50 5m 10s fix-issue-1505
March 26, 2024 08:50 5m 10s
Fix issue #1505
Build GitHub pages #420: Pull request #1511 synchronize by fpoli
March 26, 2024 08:22 5m 19s fix-issue-1505
March 26, 2024 08:22 5m 19s
Fix issue #1505
Build GitHub pages #419: Pull request #1511 synchronize by fpoli
March 25, 2024 16:54 4m 40s fix-issue-1505
March 25, 2024 16:54 4m 40s
Fix issue #1505
Build GitHub pages #418: Pull request #1511 synchronize by fpoli
March 25, 2024 16:54 4m 42s fix-issue-1505
March 25, 2024 16:54 4m 42s
Fix issue #1505
Build GitHub pages #417: Pull request #1511 synchronize by fpoli
March 25, 2024 14:26 4m 48s fix-issue-1505
March 25, 2024 14:26 4m 48s
Fix issue #1505
Build GitHub pages #416: Pull request #1511 synchronize by fpoli
March 25, 2024 14:19 5m 25s fix-issue-1505
March 25, 2024 14:19 5m 25s
Fix issue #1505
Build GitHub pages #415: Pull request #1511 opened by fpoli
March 25, 2024 14:18 5m 3s fix-issue-1505
March 25, 2024 14:18 5m 3s
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
March 24, 2024 12:05 5m 14s
Disable MIR optimizations in tests (#1507)
Build GitHub pages #413: Commit 528f4c2 pushed by fpoli
March 6, 2024 10:13 5m 3s 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
March 6, 2024 09:01 4m 58s
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
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
March 6, 2024 08:57 5m 12s
Fix signed discriminant in pure code (#1502)
Build GitHub pages #409: Commit daf0e86 pushed by fpoli
March 1, 2024 17:58 5m 25s master
March 1, 2024 17:58 5m 25s
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
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
March 1, 2024 16:05 5m 16s
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
March 1, 2024 15:04 38m 38s
Fix signed discriminant in pure code
Build GitHub pages #405: Pull request #1502 synchronize by fpoli
March 1, 2024 13:59 5m 12s fix-1501
March 1, 2024 13:59 5m 12s
Fix signed discriminant in pure code
Build GitHub pages #404: Pull request #1502 opened by fpoli
March 1, 2024 13:58 4m 59s fix-1501
March 1, 2024 13:58 4m 59s
Build GitHub pages
Build GitHub pages #403: by fpoli
February 29, 2024 15:39 5m 17s master
February 29, 2024 15:39 5m 17s
Fix zip on windows
Build GitHub pages #402: Commit 74a84da pushed by fpoli
February 29, 2024 12:56 5m 16s master
February 29, 2024 12:56 5m 16s
Clean up the coverage workflow
Build GitHub pages #401: Commit 02af397 pushed by fpoli
February 29, 2024 10:39 5m 6s master
February 29, 2024 10:39 5m 6s
Build GitHub pages
Build GitHub pages #400: by fpoli
February 29, 2024 10:30 5m 4s master
February 29, 2024 10:30 5m 4s
Fix disk usage of the coverage workflow
Build GitHub pages #399: Commit f1d3ac1 pushed by fpoli
February 29, 2024 10:24 5m 12s master
February 29, 2024 10:24 5m 12s