Skip to content

Actions: viperproject/prusti-dev

Actions

Test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test.yml
209 workflow runs
209 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update Viper to v-2024-02-01-0836 Test #7334: Pull request #1491 synchronize by fpoli
January 24, 2024 13:28 6h 11m 55s fpoli-patch-3
fpoli-patch-3
January 24, 2024 13:28 6h 11m 55s
Update Viper to v-2024-02-01-0836 Test #7333: Pull request #1491 opened by fpoli
January 24, 2024 12:48 39m 50s fpoli-patch-3
fpoli-patch-3
January 24, 2024 12:48 39m 50s
Disable the "more complete" exhale Test #7332: Pull request #1490 synchronize by fpoli
January 17, 2024 13:23 1h 7m 30s fpoli-no-more-complete-exhale
fpoli-no-more-complete-exhale
January 17, 2024 13:23 1h 7m 30s
Update dependencies (rustc nightly-2024-01-15, viper v-2023-12-16-1716) Test #7331: Pull request #1488 opened by viper-admin
January 15, 2024 07:03 2m 38s auto-update-nightly-2024-01-15
auto-update-nightly-2024-01-15
January 15, 2024 07:03 2m 38s
Remove redundant invariant (#1487) Test #7330: Commit 2ade23b pushed by fpoli
January 11, 2024 11:31 1h 11m 13s master
master
January 11, 2024 11:31 1h 11m 13s
Remove redundant invariant Test #7329: Pull request #1487 opened by fpoli
January 11, 2024 10:19 1h 11m 41s fpoli-patch-3
fpoli-patch-3
January 11, 2024 10:19 1h 11m 41s
Merge pull request #1486 from viperproject/fpoli-patch-3 Test #7328: Commit 216e5db pushed by fpoli
January 9, 2024 15:32 1h 13m 46s master
master
January 9, 2024 15:32 1h 13m 46s
Strengthen the postcondition of bisect Test #7327: Pull request #1486 opened by fpoli
January 9, 2024 14:21 1h 10m 58s fpoli-patch-3
fpoli-patch-3
January 9, 2024 14:21 1h 10m 58s
Merge pull request #1485 from viperproject/fix-normalization Test #7326: Commit cd736cc pushed by fpoli
January 8, 2024 12:00 2h 5m 19s master
master
January 8, 2024 12:00 2h 5m 19s
Fix normalization of ids in package statements Test #7325: Pull request #1485 opened by fpoli
January 3, 2024 16:09 2h 15m 10s fix-normalization
fix-normalization
January 3, 2024 16:09 2h 15m 10s
Update dependencies (rustc nightly-2024-01-01, viper v-2023-12-16-1716) Test #7324: Pull request #1484 opened by viper-admin
January 1, 2024 07:03 2m 39s auto-update-nightly-2024-01-01
auto-update-nightly-2024-01-01
January 1, 2024 07:03 2m 39s
Raise an error if old() expressions are used in local vars outside of… Test #7323: Commit 260594b pushed by zgrannan
December 20, 2023 19:36 1h 11m 8s master
master
December 20, 2023 19:36 1h 11m 8s
Update dependencies (rustc nightly-2023-12-15, viper v-2023-12-06-0725) Test #7322: Pull request #1483 opened by viper-admin
December 15, 2023 07:03 2m 37s auto-update-nightly-2023-12-15
auto-update-nightly-2023-12-15
December 15, 2023 07:03 2m 37s
Raise an error if old() expressions are used in local vars outside of loops Test #7321: Pull request #1482 opened by zgrannan
December 14, 2023 23:22 1h 11m 40s zgrannan:no-local-in-old
zgrannan:no-local-in-old
December 14, 2023 23:22 1h 11m 40s
Disable more complete exhale. Test #7320: Commit 8e372e2 pushed by vakaras
December 8, 2023 20:48 1h 11m 15s master
master
December 8, 2023 20:48 1h 11m 15s
Fix rosetta binary search Test #7319: Pull request #1481 opened by vakaras
December 8, 2023 19:37 1h 10m 28s fix-rosetta-binary-search
fix-rosetta-binary-search
December 8, 2023 19:37 1h 10m 28s
Raise an error when postconditions of pure functions contain old() ex… Test #7318: Commit 202ca0e pushed by zgrannan
December 7, 2023 14:49 1h 11m 28s master
master
December 7, 2023 14:49 1h 11m 28s
Raise an error when postconditions of pure functions contain old() expressions Test #7317: Pull request #1474 synchronize by zgrannan
December 7, 2023 00:03 1h 13m 5s zgrannan:zgrannan/old-in-pure-error
zgrannan:zgrannan/old-in-pure-error
December 7, 2023 00:03 1h 13m 5s
Updated snapshot injectivity axiom. (#1475) Test #7316: Commit 26c999b pushed by zgrannan
December 7, 2023 00:03 1h 11m 57s master
master
December 7, 2023 00:03 1h 11m 57s
Updated snapshot injectivity axiom. Test #7315: Pull request #1475 synchronize by zgrannan
December 6, 2023 17:09 1h 47m 1s zgrannan:zgrannan/snapshot-injectivity
zgrannan:zgrannan/snapshot-injectivity
December 6, 2023 17:09 1h 47m 1s
Fix get_target_dir and build.py to make packaging work properly wit… Test #7314: Commit 01539d2 pushed by zgrannan
December 6, 2023 17:09 1h 47m 0s master
master
December 6, 2023 17:09 1h 47m 0s
Fix get_target_dir and build.py to make packaging work properly with new prusti_contracts dir Test #7313: Pull request #1479 synchronize by zgrannan
December 5, 2023 23:42 1h 47m 36s zgrannan:zgrannan/fix-deploy
zgrannan:zgrannan/fix-deploy
December 5, 2023 23:42 1h 47m 36s
Fix get_target_dir and build.py to make packaging work properly with new prusti_contracts dir Test #7312: Pull request #1479 opened by zgrannan
December 5, 2023 23:40 2m 23s zgrannan:zgrannan/fix-deploy
zgrannan:zgrannan/fix-deploy
December 5, 2023 23:40 2m 23s
Updated snapshot injectivity axiom. Test #7311: Pull request #1475 synchronize by zgrannan
December 5, 2023 21:49 2h 32m 54s zgrannan:zgrannan/snapshot-injectivity
zgrannan:zgrannan/snapshot-injectivity
December 5, 2023 21:49 2h 32m 54s
Fix windows CI builds (#1476) Test #7310: Commit a59d989 pushed by zgrannan
December 5, 2023 21:48 1h 54m 31s master
master
December 5, 2023 21:48 1h 54m 31s