Skip to content

Actions: viperproject/prusti-dev

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
281 workflow run results
281 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Test Viper release and usage of updated API Test #7134: Pull request #1445 synchronize by marcoeilers
August 17, 2023 23:19 21m 58s new_frontend_api
new_frontend_api
August 17, 2023 23:19 21m 58s
Test Viper release and usage of updated API Build GitHub pages #172: Pull request #1445 synchronize by marcoeilers
August 17, 2023 23:19 10m 37s new_frontend_api
new_frontend_api
August 17, 2023 23:19 10m 37s
Test Viper release and usage of updated API Test #7133: Pull request #1445 synchronize by marcoeilers
August 17, 2023 23:19 38s new_frontend_api
new_frontend_api
August 17, 2023 23:19 38s
Test Viper release and usage of updated API Build GitHub pages #171: Pull request #1445 synchronize by marcoeilers
August 17, 2023 23:19 9m 29s new_frontend_api
new_frontend_api
August 17, 2023 23:19 9m 29s
Test Viper release and usage of updated API Test #7132: Pull request #1445 opened by marcoeilers
August 17, 2023 19:51 59s new_frontend_api
new_frontend_api
August 17, 2023 19:51 59s
Test Viper release and usage of updated API Build GitHub pages #170: Pull request #1445 opened by marcoeilers
August 17, 2023 19:51 1m 26s new_frontend_api
new_frontend_api
August 17, 2023 19:51 1m 26s
Update dependencies (rustc nightly-2023-08-15, viper v-2023-08-05-1220) Test #7131: Pull request #1444 opened by viper-admin
August 15, 2023 07:03 5m 0s auto-update-nightly-2023-08-15
auto-update-nightly-2023-08-15
August 15, 2023 07:03 5m 0s
Update dependencies (rustc nightly-2023-08-15, viper v-2023-08-05-1220) Build GitHub pages #169: Pull request #1444 opened by viper-admin
August 15, 2023 07:03 4m 31s auto-update-nightly-2023-08-15
auto-update-nightly-2023-08-15
August 15, 2023 07:03 4m 31s
Update dependencies Update dependencies #68: Scheduled
August 15, 2023 07:01 1m 49s master
master
August 15, 2023 07:01 1m 49s
pages build and deployment pages-build-deployment #715: by github-pages bot
August 14, 2023 19:56 1m 0s
August 14, 2023 19:56 1m 0s
Restore FIXME (#1442) Deploy #758: Commit cb68494 pushed by fpoli
August 14, 2023 19:47 2h 30m 25s master
master
August 14, 2023 19:47 2h 30m 25s
Restore FIXME (#1442) Test coverage #809: Commit cb68494 pushed by fpoli
August 14, 2023 19:47 37m 49s master
master
August 14, 2023 19:47 37m 49s
Restore FIXME (#1442) Test #7130: Commit cb68494 pushed by fpoli
August 14, 2023 19:47 1h 36m 27s master
master
August 14, 2023 19:47 1h 36m 27s
Restore FIXME (#1442) Build GitHub pages #168: Commit cb68494 pushed by fpoli
August 14, 2023 19:47 9m 35s master
master
August 14, 2023 19:47 9m 35s
Restore FIXME Test #7129: Pull request #1442 synchronize by fpoli
August 14, 2023 17:54 1h 52m 11s add-comment
add-comment
August 14, 2023 17:54 1h 52m 11s
Restore FIXME Build GitHub pages #167: Pull request #1442 synchronize by fpoli
August 14, 2023 17:54 9m 36s add-comment
add-comment
August 14, 2023 17:54 9m 36s
Restore FIXME Build GitHub pages #166: Pull request #1442 opened by fpoli
August 14, 2023 16:28 8m 46s add-comment
add-comment
August 14, 2023 16:28 8m 46s
Restore FIXME Test #7128: Pull request #1442 opened by fpoli
August 14, 2023 16:28 1h 26m 48s add-comment
add-comment
August 14, 2023 16:28 1h 26m 48s
pages build and deployment pages-build-deployment #714: by github-pages bot
August 14, 2023 15:16 1m 0s
August 14, 2023 15:16 1m 0s
Fix encoding of mutually recursive pure functions (#1440) Build GitHub pages #165: Commit 71683df pushed by fpoli
August 14, 2023 15:07 9m 13s master
master
August 14, 2023 15:07 9m 13s
Fix encoding of mutually recursive pure functions (#1440) Deploy #757: Commit 71683df pushed by fpoli
August 14, 2023 15:07 1h 57m 32s master
master
August 14, 2023 15:07 1h 57m 32s
Fix encoding of mutually recursive pure functions (#1440) Test coverage #808: Commit 71683df pushed by fpoli
August 14, 2023 15:07 45m 37s master
master
August 14, 2023 15:07 45m 37s
Fix encoding of mutually recursive pure functions (#1440) Test #7127: Commit 71683df pushed by fpoli
August 14, 2023 15:07 1h 49m 59s master
master
August 14, 2023 15:07 1h 49m 59s
Fix encoding of mutually recursive pure functions Build GitHub pages #164: Pull request #1440 synchronize by fpoli
August 14, 2023 13:29 9m 35s fix-mutual-recursion
fix-mutual-recursion
August 14, 2023 13:29 9m 35s
Fix encoding of mutually recursive pure functions Test #7126: Pull request #1440 synchronize by fpoli
August 14, 2023 13:28 1h 38m 16s fix-mutual-recursion
fix-mutual-recursion
August 14, 2023 13:28 1h 38m 16s