Skip to content

Actions: viperproject/prusti-dev

Actions

Build GitHub pages

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pages.yml
34 workflow run results
34 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
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
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
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
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
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
Fix zip on windows Build GitHub pages #402: Commit 74a84da pushed by fpoli
February 29, 2024 12:56 5m 16s master
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
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
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
master
February 29, 2024 10:24 5m 12s
Debug coverage workflow Build GitHub pages #398: Commit abd7afc pushed by fpoli
February 29, 2024 10:08 5m 9s master
master
February 29, 2024 10:08 5m 9s
Fix names of macOS runners Build GitHub pages #397: Commit 70bc148 pushed by fpoli
February 29, 2024 09:58 5m 24s master
master
February 29, 2024 09:58 5m 24s
Debug coverage workflow Build GitHub pages #396: Commit 1a3d32c pushed by fpoli
February 29, 2024 09:49 5m 15s master
master
February 29, 2024 09:49 5m 15s
Deploy for macOS arm64 and preserve file attributes (#1499) Build GitHub pages #395: Commit df9b3ac pushed by fpoli
February 29, 2024 09:43 5m 8s master
master
February 29, 2024 09:43 5m 8s
Reduce disk usage when collecting coverage Build GitHub pages #394: Commit 96b841c pushed by fpoli
February 29, 2024 09:29 5m 12s master
master
February 29, 2024 09:29 5m 12s
Make ignore_deps_contracts a "category B" flag (#1498) Build GitHub pages #390: Commit 2d14265 pushed by fpoli
February 28, 2024 16:26 5m 1s master
master
February 28, 2024 16:26 5m 1s
Merge pull request #1496 from nshyrei/ignore_deps_contracts Build GitHub pages #387: Commit f94b7fa pushed by fpoli
February 26, 2024 13:34 5m 26s master
master
February 26, 2024 13:34 5m 26s
Fix doc (#1492) Build GitHub pages #381: Commit 2a4f04c pushed by Aurel300
February 14, 2024 09:47 5m 25s master
master
February 14, 2024 09:47 5m 25s
Update readme (#1494) Build GitHub pages #380: Commit c1a5b12 pushed by fpoli
February 12, 2024 13:27 5m 12s master
master
February 12, 2024 13:27 5m 12s
Update Viper to v-2024-02-01-0836 (#1491) Build GitHub pages #376: Commit e632f70 pushed by fpoli
February 1, 2024 12:14 5m 10s master
master
February 1, 2024 12:14 5m 10s
Remove redundant invariant (#1487) Build GitHub pages #368: Commit 2ade23b pushed by fpoli
January 11, 2024 11:31 5m 14s master
master
January 11, 2024 11:31 5m 14s
Merge pull request #1486 from viperproject/fpoli-patch-3 Build GitHub pages #366: Commit 216e5db pushed by fpoli
January 9, 2024 15:32 5m 29s master
master
January 9, 2024 15:32 5m 29s
Merge pull request #1485 from viperproject/fix-normalization Build GitHub pages #364: Commit cd736cc pushed by fpoli
January 8, 2024 12:00 5m 40s master
master
January 8, 2024 12:00 5m 40s
Raise an error if old() expressions are used in local vars outside of… Build GitHub pages #361: Commit 260594b pushed by zgrannan
December 20, 2023 19:36 5m 15s master
master
December 20, 2023 19:36 5m 15s
Disable more complete exhale. Build GitHub pages #358: Commit 8e372e2 pushed by vakaras
December 8, 2023 20:48 5m 49s master
master
December 8, 2023 20:48 5m 49s