Skip to content

Actions: viperproject/prusti-dev

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
542 workflow runs
542 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update Viper to v-2024-02-01-0836 (#1491) Test coverage #833: Commit e632f70 pushed by fpoli
February 1, 2024 12:14 1h 1m 0s master
master
February 1, 2024 12:14 1h 1m 0s
Update Viper to v-2024-02-01-0836 (#1491) Deploy #782: Commit e632f70 pushed by fpoli
February 1, 2024 12:14 2h 29m 32s master
master
February 1, 2024 12:14 2h 29m 32s
Update Viper to v-2024-02-01-0836 Build GitHub pages #375: Pull request #1491 synchronize by fpoli
February 1, 2024 09:49 4m 59s fpoli-patch-3
fpoli-patch-3
February 1, 2024 09:49 4m 59s
Update Viper to v-2024-02-01-0836 Test #7337: Pull request #1491 synchronize by fpoli
February 1, 2024 09:49 2h 24m 45s fpoli-patch-3
fpoli-patch-3
February 1, 2024 09:49 2h 24m 45s
Update Viper to v-2024-02-01-0836 Test #7336: Pull request #1491 synchronize by fpoli
February 1, 2024 08:49 1h 0m 28s fpoli-patch-3
fpoli-patch-3
February 1, 2024 08:49 1h 0m 28s
Update Viper to v-2024-02-01-0836 Build GitHub pages #374: Pull request #1491 synchronize by fpoli
February 1, 2024 08:49 5m 2s fpoli-patch-3
fpoli-patch-3
February 1, 2024 08:49 5m 2s
Update Viper to v-2024-02-01-0836 Test #7335: Pull request #1491 reopened by fpoli
February 1, 2024 08:49 47s fpoli-patch-3
fpoli-patch-3
February 1, 2024 08:49 47s
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 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 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
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
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
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
Update dependencies Update dependencies #78: Scheduled
January 15, 2024 07:01 1m 39s master
master
January 15, 2024 07:01 1m 39s
pages build and deployment pages-build-deployment #738: by github-pages bot
January 11, 2024 11:36 47s gh-pages
gh-pages
January 11, 2024 11:36 47s
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 (#1487) Deploy #781: Commit 2ade23b pushed by fpoli
January 11, 2024 11:31 1h 56m 19s master
master
January 11, 2024 11:31 1h 56m 19s
Remove redundant invariant (#1487) Test coverage #832: Commit 2ade23b pushed by fpoli
January 11, 2024 11:31 1h 2m 20s master
master
January 11, 2024 11:31 1h 2m 20s
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
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
pages build and deployment pages-build-deployment #737: by github-pages bot
January 9, 2024 15:38 44s gh-pages
gh-pages
January 9, 2024 15:38 44s