Skip to content

Actions: viperproject/prusti-dev

Actions

Build GitHub pages

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pages.yml
138 workflow runs
138 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update Viper to v-2024-02-01-0836 Build GitHub pages #373: Pull request #1491 reopened by fpoli
February 1, 2024 08:49 4m 54s fpoli-patch-3
fpoli-patch-3
February 1, 2024 08:49 4m 54s
Update Viper to v-2024-02-01-0836 Build GitHub pages #372: Pull request #1491 synchronize by fpoli
January 24, 2024 13:28 4m 59s fpoli-patch-3
fpoli-patch-3
January 24, 2024 13:28 4m 59s
Update Viper to v-2024-02-01-0836 Build GitHub pages #371: Pull request #1491 opened by fpoli
January 24, 2024 12:48 5m 2s fpoli-patch-3
fpoli-patch-3
January 24, 2024 12:48 5m 2s
Disable the "more complete" exhale Build GitHub pages #370: Pull request #1490 synchronize by fpoli
January 17, 2024 13:23 4m 58s fpoli-no-more-complete-exhale
fpoli-no-more-complete-exhale
January 17, 2024 13:23 4m 58s
Update dependencies (rustc nightly-2024-01-15, viper v-2023-12-16-1716) Build GitHub pages #369: Pull request #1488 opened by viper-admin
January 15, 2024 07:03 2m 29s auto-update-nightly-2024-01-15
auto-update-nightly-2024-01-15
January 15, 2024 07:03 2m 29s
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
Remove redundant invariant Build GitHub pages #367: Pull request #1487 opened by fpoli
January 11, 2024 10:19 5m 5s fpoli-patch-3
fpoli-patch-3
January 11, 2024 10:19 5m 5s
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
Strengthen the postcondition of bisect Build GitHub pages #365: Pull request #1486 opened by fpoli
January 9, 2024 14:21 5m 3s fpoli-patch-3
fpoli-patch-3
January 9, 2024 14:21 5m 3s
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
Fix normalization of ids in package statements Build GitHub pages #363: Pull request #1485 opened by fpoli
January 3, 2024 16:09 5m 0s fix-normalization
fix-normalization
January 3, 2024 16:09 5m 0s
Update dependencies (rustc nightly-2024-01-01, viper v-2023-12-16-1716) Build GitHub pages #362: Pull request #1484 opened by viper-admin
January 1, 2024 07:03 2m 45s auto-update-nightly-2024-01-01
auto-update-nightly-2024-01-01
January 1, 2024 07:03 2m 45s
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
Update dependencies (rustc nightly-2023-12-15, viper v-2023-12-06-0725) Build GitHub pages #360: Pull request #1483 opened by viper-admin
December 15, 2023 07:03 2m 39s auto-update-nightly-2023-12-15
auto-update-nightly-2023-12-15
December 15, 2023 07:03 2m 39s
Raise an error if old() expressions are used in local vars outside of loops Build GitHub pages #359: Pull request #1482 opened by zgrannan
December 14, 2023 23:22 5m 7s zgrannan:no-local-in-old
zgrannan:no-local-in-old
December 14, 2023 23:22 5m 7s
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
Fix rosetta binary search Build GitHub pages #357: Pull request #1481 opened by vakaras
December 8, 2023 19:37 5m 3s fix-rosetta-binary-search
fix-rosetta-binary-search
December 8, 2023 19:37 5m 3s
Raise an error when postconditions of pure functions contain old() ex… Build GitHub pages #356: Commit 202ca0e pushed by zgrannan
December 7, 2023 14:49 5m 33s master
master
December 7, 2023 14:49 5m 33s
Raise an error when postconditions of pure functions contain old() expressions Build GitHub pages #355: Pull request #1474 synchronize by zgrannan
December 7, 2023 00:03 4m 51s zgrannan:zgrannan/old-in-pure-error
zgrannan:zgrannan/old-in-pure-error
December 7, 2023 00:03 4m 51s
Updated snapshot injectivity axiom. (#1475) Build GitHub pages #354: Commit 26c999b pushed by zgrannan
December 7, 2023 00:03 5m 9s master
master
December 7, 2023 00:03 5m 9s
Updated snapshot injectivity axiom. Build GitHub pages #353: Pull request #1475 synchronize by zgrannan
December 6, 2023 17:09 4m 57s zgrannan:zgrannan/snapshot-injectivity
zgrannan:zgrannan/snapshot-injectivity
December 6, 2023 17:09 4m 57s
Fix get_target_dir and build.py to make packaging work properly wit… Build GitHub pages #352: Commit 01539d2 pushed by zgrannan
December 6, 2023 17:09 5m 9s master
master
December 6, 2023 17:09 5m 9s
Fix get_target_dir and build.py to make packaging work properly with new prusti_contracts dir Build GitHub pages #351: Pull request #1479 synchronize by zgrannan
December 5, 2023 23:42 5m 4s zgrannan:zgrannan/fix-deploy
zgrannan:zgrannan/fix-deploy
December 5, 2023 23:42 5m 4s
Fix get_target_dir and build.py to make packaging work properly with new prusti_contracts dir Build GitHub pages #350: Pull request #1479 opened by zgrannan
December 5, 2023 23:40 4m 48s zgrannan:zgrannan/fix-deploy
zgrannan:zgrannan/fix-deploy
December 5, 2023 23:40 4m 48s
Updated snapshot injectivity axiom. Build GitHub pages #349: Pull request #1475 synchronize by zgrannan
December 5, 2023 21:49 4m 42s zgrannan:zgrannan/snapshot-injectivity
zgrannan:zgrannan/snapshot-injectivity
December 5, 2023 21:49 4m 42s