Skip to content

Actions: viperproject/prusti-dev

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
311 workflow runs
311 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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 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 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 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
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
pages build and deployment pages-build-deployment #730: by github-pages bot
December 5, 2023 21:54 51s gh-pages
gh-pages
December 5, 2023 21:54 51s
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
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
Fix windows CI builds (#1476) Test coverage #824: Commit a59d989 pushed by zgrannan
December 5, 2023 21:48 45m 3s master
master
December 5, 2023 21:48 45m 3s
Fix windows CI builds (#1476) Deploy #773: Commit a59d989 pushed by zgrannan
December 5, 2023 21:48 1h 41m 54s master
master
December 5, 2023 21:48 1h 41m 54s
Fix windows CI builds (#1476) Build GitHub pages #348: Commit a59d989 pushed by zgrannan
December 5, 2023 21:48 5m 20s master
master
December 5, 2023 21:48 5m 20s
Fix windows CI builds Build GitHub pages #347: Pull request #1476 synchronize by zgrannan
December 2, 2023 00:44 5m 0s zgrannan:zgrannan/fix-windows-ci-builds
zgrannan:zgrannan/fix-windows-ci-builds
December 2, 2023 00:44 5m 0s
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 Build GitHub pages #346: Pull request #1476 synchronize by zgrannan
December 1, 2023 21:10 4m 50s zgrannan:zgrannan/fix-windows-ci-builds
zgrannan:zgrannan/fix-windows-ci-builds
December 1, 2023 21:10 4m 50s
Fix windows CI builds Build GitHub pages #345: Pull request #1476 synchronize by zgrannan
December 1, 2023 19:43 4m 45s zgrannan:zgrannan/fix-windows-ci-builds
zgrannan:zgrannan/fix-windows-ci-builds
December 1, 2023 19:43 4m 45s
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 Build GitHub pages #344: Pull request #1476 synchronize by zgrannan
December 1, 2023 18:03 4m 55s zgrannan:zgrannan/fix-windows-ci-builds
zgrannan:zgrannan/fix-windows-ci-builds
December 1, 2023 18:03 4m 55s
Fix windows CI builds Build GitHub pages #343: Pull request #1476 synchronize by zgrannan
December 1, 2023 17:50 5m 1s zgrannan:zgrannan/fix-windows-ci-builds
zgrannan:zgrannan/fix-windows-ci-builds
December 1, 2023 17:50 5m 1s
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) Build GitHub pages #342: Pull request #1477 opened by viper-admin
December 1, 2023 07:02 2m 36s auto-update-nightly-2023-12-01
auto-update-nightly-2023-12-01
December 1, 2023 07:02 2m 36s
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
ProTip! You can narrow down the results and go further in time using created:<2023-12-01 or the other filters available.