Skip to content

Actions: viperproject/prusti-dev

Actions

Test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test.yml
347 workflow runs
347 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix windows CI builds Test #7309: Pull request #1476 synchronize by zgrannan
December 2, 2023 00:44 1h 11m 29s zgrannan:zgrannan/fix-windows-ci-builds
zgrannan:zgrannan/fix-windows-ci-builds
December 2, 2023 00:44 1h 11m 29s
Fix windows CI builds Test #7308: Pull request #1476 synchronize by zgrannan
December 1, 2023 21:10 1h 11m 7s zgrannan:zgrannan/fix-windows-ci-builds
zgrannan:zgrannan/fix-windows-ci-builds
December 1, 2023 21:10 1h 11m 7s
Fix windows CI builds Test #7307: Pull request #1476 synchronize by zgrannan
December 1, 2023 19:43 1h 26m 34s zgrannan:zgrannan/fix-windows-ci-builds
zgrannan:zgrannan/fix-windows-ci-builds
December 1, 2023 19:43 1h 26m 34s
Fix windows CI builds Test #7306: Pull request #1476 synchronize by zgrannan
December 1, 2023 18:03 1h 40m 6s zgrannan:zgrannan/fix-windows-ci-builds
zgrannan:zgrannan/fix-windows-ci-builds
December 1, 2023 18:03 1h 40m 6s
Fix windows CI builds Test #7305: Pull request #1476 synchronize by zgrannan
December 1, 2023 17:50 1s zgrannan:zgrannan/fix-windows-ci-builds
zgrannan:zgrannan/fix-windows-ci-builds
December 1, 2023 17:50 1s
Update dependencies (rustc nightly-2023-12-01, viper v-2023-09-27-0729) Test #7304: Pull request #1477 opened by viper-admin
December 1, 2023 07:02 2m 37s auto-update-nightly-2023-12-01
auto-update-nightly-2023-12-01
December 1, 2023 07:02 2m 37s
Fix windows CI builds Test #7303: Pull request #1476 synchronize by zgrannan
November 30, 2023 19:41 1h 11m 39s zgrannan:zgrannan/fix-windows-ci-builds
zgrannan:zgrannan/fix-windows-ci-builds
November 30, 2023 19:41 1h 11m 39s
Fix windows CI builds Test #7302: Pull request #1476 synchronize by zgrannan
November 30, 2023 17:44 1h 14m 47s zgrannan:zgrannan/fix-windows-ci-builds
zgrannan:zgrannan/fix-windows-ci-builds
November 30, 2023 17:44 1h 14m 47s
Fix windows CI builds Test #7301: Pull request #1476 synchronize by zgrannan
November 30, 2023 17:27 16m 49s zgrannan:zgrannan/fix-windows-ci-builds
zgrannan:zgrannan/fix-windows-ci-builds
November 30, 2023 17:27 16m 49s
Fix windows CI builds Test #7300: Pull request #1476 synchronize by zgrannan
November 30, 2023 17:19 8m 43s zgrannan:zgrannan/fix-windows-ci-builds
zgrannan:zgrannan/fix-windows-ci-builds
November 30, 2023 17:19 8m 43s
Fix windows CI builds Test #7299: Pull request #1476 synchronize by zgrannan
November 30, 2023 16:16 1h 3m 52s zgrannan:zgrannan/fix-windows-ci-builds
zgrannan:zgrannan/fix-windows-ci-builds
November 30, 2023 16:16 1h 3m 52s
Fix windows CI builds Test #7298: Pull request #1476 synchronize by zgrannan
November 30, 2023 07:27 1h 11m 10s zgrannan:zgrannan/fix-windows-ci-builds
zgrannan:zgrannan/fix-windows-ci-builds
November 30, 2023 07:27 1h 11m 10s
Fix windows CI builds Test #7297: Pull request #1476 synchronize by zgrannan
November 30, 2023 07:25 2m 38s zgrannan:zgrannan/fix-windows-ci-builds
zgrannan:zgrannan/fix-windows-ci-builds
November 30, 2023 07:25 2m 38s
Fix windows CI builds Test #7296: Pull request #1476 synchronize by zgrannan
November 30, 2023 06:36 24m 32s zgrannan:zgrannan/fix-windows-ci-builds
zgrannan:zgrannan/fix-windows-ci-builds
November 30, 2023 06:36 24m 32s
Fix windows CI builds Test #7295: Pull request #1476 synchronize by zgrannan
November 30, 2023 06:28 8m 10s zgrannan:zgrannan/fix-windows-ci-builds
zgrannan:zgrannan/fix-windows-ci-builds
November 30, 2023 06:28 8m 10s
Fix windows CI builds Test #7294: Pull request #1476 synchronize by zgrannan
November 30, 2023 06:19 9m 40s zgrannan:zgrannan/fix-windows-ci-builds
zgrannan:zgrannan/fix-windows-ci-builds
November 30, 2023 06:19 9m 40s
Fix windows CI builds Test #7293: Pull request #1476 synchronize by zgrannan
November 30, 2023 05:43 26m 52s zgrannan:zgrannan/fix-windows-ci-builds
zgrannan:zgrannan/fix-windows-ci-builds
November 30, 2023 05:43 26m 52s
Fix windows CI builds Test #7292: Pull request #1476 synchronize by zgrannan
November 30, 2023 04:29 1h 11m 53s zgrannan:zgrannan/fix-windows-ci-builds
zgrannan:zgrannan/fix-windows-ci-builds
November 30, 2023 04:29 1h 11m 53s
Fix windows CI builds Test #7291: Pull request #1476 synchronize by zgrannan
November 30, 2023 04:11 12m 57s zgrannan:zgrannan/fix-windows-ci-builds
zgrannan:zgrannan/fix-windows-ci-builds
November 30, 2023 04:11 12m 57s
Fix windows CI builds Test #7290: Pull request #1476 opened by zgrannan
November 30, 2023 00:36 2h 9m 49s zgrannan:zgrannan/fix-windows-ci-builds
zgrannan:zgrannan/fix-windows-ci-builds
November 30, 2023 00:36 2h 9m 49s
Updated snapshot injectivity axiom. Test #7289: Pull request #1475 synchronize by zgrannan
November 29, 2023 20:08 1h 55m 36s zgrannan:zgrannan/snapshot-injectivity
zgrannan:zgrannan/snapshot-injectivity
November 29, 2023 20:08 1h 55m 36s
Updated snapshot injectivity axiom. Test #7288: Pull request #1475 opened by zgrannan
November 29, 2023 19:15 11m 32s zgrannan:zgrannan/snapshot-injectivity
zgrannan:zgrannan/snapshot-injectivity
November 29, 2023 19:15 11m 32s
Raise an error when postconditions of pure functions contain old() expressions Test #7287: Pull request #1474 synchronize by zgrannan
November 28, 2023 17:58 2h 28m 59s zgrannan:zgrannan/old-in-pure-error
zgrannan:zgrannan/old-in-pure-error
November 28, 2023 17:58 2h 28m 59s
Raise an error when postconditions of pure functions contain old() expressions Test #7286: Pull request #1474 synchronize by zgrannan
November 28, 2023 16:39 1h 19m 39s zgrannan:zgrannan/old-in-pure-error
zgrannan:zgrannan/old-in-pure-error
November 28, 2023 16:39 1h 19m 39s
Raise an error when postconditions of pure functions contain old() expressions Test #7285: Pull request #1474 synchronize by zgrannan
November 28, 2023 05:59 1h 11m 24s zgrannan:zgrannan/old-in-pure-error
zgrannan:zgrannan/old-in-pure-error
November 28, 2023 05:59 1h 11m 24s