Skip to content

Actions: viperproject/prusti-dev

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update dependencies (rustc nightly-2023-07-15) Build GitHub pages #123: Pull request #1430 synchronize by Aurel300
August 3, 2023 13:15 10m 14s auto-update-nightly-2023-07-15
auto-update-nightly-2023-07-15
August 3, 2023 13:15 10m 14s
Update dependencies (rustc nightly-2023-07-15) Test #7085: Pull request #1430 synchronize by Aurel300
August 3, 2023 13:15 1h 39m 41s auto-update-nightly-2023-07-15
auto-update-nightly-2023-07-15
August 3, 2023 13:15 1h 39m 41s
Update dependencies (rustc nightly-2023-07-15) Publish on Crates.io #314: Pull request #1430 synchronize by Aurel300
August 3, 2023 13:15 50s auto-update-nightly-2023-07-15
auto-update-nightly-2023-07-15
August 3, 2023 13:15 50s
Update dependencies (rustc nightly-2023-07-15) Publish on Crates.io #313: Pull request #1430 synchronize by Aurel300
August 2, 2023 23:36 48s auto-update-nightly-2023-07-15
auto-update-nightly-2023-07-15
August 2, 2023 23:36 48s
Update dependencies (rustc nightly-2023-07-15) Test #7084: Pull request #1430 synchronize by Aurel300
August 2, 2023 23:36 1h 39m 10s auto-update-nightly-2023-07-15
auto-update-nightly-2023-07-15
August 2, 2023 23:36 1h 39m 10s
Update dependencies (rustc nightly-2023-07-15) Build GitHub pages #122: Pull request #1430 synchronize by Aurel300
August 2, 2023 23:36 9m 27s auto-update-nightly-2023-07-15
auto-update-nightly-2023-07-15
August 2, 2023 23:36 9m 27s
pages build and deployment pages-build-deployment #708: by github-pages bot
August 2, 2023 12:02 1m 6s
August 2, 2023 12:02 1m 6s
Disable tracing by default (#1422) Build GitHub pages #121: Commit 4c6e982 pushed by fpoli
August 2, 2023 11:52 9m 56s master
master
August 2, 2023 11:52 9m 56s
Disable tracing by default (#1422) Test coverage #802: Commit 4c6e982 pushed by fpoli
August 2, 2023 11:52 46m 21s master
master
August 2, 2023 11:52 46m 21s
Disable tracing by default (#1422) Test #7083: Commit 4c6e982 pushed by fpoli
August 2, 2023 11:52 2h 46m 17s master
master
August 2, 2023 11:52 2h 46m 17s
Disable tracing by default (#1422) Deploy #751: Commit 4c6e982 pushed by fpoli
August 2, 2023 11:52 1h 46m 3s master
master
August 2, 2023 11:52 1h 46m 3s
Disable tracing by default Test #7082: Pull request #1422 synchronize by fpoli
August 2, 2023 09:35 2h 17m 20s disable-tracing
disable-tracing
August 2, 2023 09:35 2h 17m 20s
Disable tracing by default Build GitHub pages #120: Pull request #1422 synchronize by fpoli
August 2, 2023 09:35 11m 28s disable-tracing
disable-tracing
August 2, 2023 09:35 11m 28s
Update dependencies (rustc nightly-2023-08-01, viper v-2023-07-18-0828) Build GitHub pages #119: Pull request #1432 opened by viper-admin
August 1, 2023 07:03 4m 42s auto-update-nightly-2023-08-01
auto-update-nightly-2023-08-01
August 1, 2023 07:03 4m 42s
Update dependencies (rustc nightly-2023-08-01, viper v-2023-07-18-0828) Test #7081: Pull request #1432 opened by viper-admin
August 1, 2023 07:03 4m 35s auto-update-nightly-2023-08-01
auto-update-nightly-2023-08-01
August 1, 2023 07:03 4m 35s
Update dependencies Update dependencies #67: Scheduled
August 1, 2023 07:02 1m 38s master
master
August 1, 2023 07:02 1m 38s
Resources, Obligations, Time Reasoning Publish on Crates.io #312: Pull request #1408 synchronize by vfukala
July 28, 2023 22:56 37s vfukala:simplest-obligation
vfukala:simplest-obligation
July 28, 2023 22:56 37s
Resources, Obligations, Time Reasoning Test #7080: Pull request #1408 synchronize by vfukala
July 28, 2023 22:56 2h 1m 42s vfukala:simplest-obligation
vfukala:simplest-obligation
July 28, 2023 22:56 2h 1m 42s
Resources, Obligations, Time Reasoning Build GitHub pages #118: Pull request #1408 synchronize by vfukala
July 28, 2023 22:56 8m 6s vfukala:simplest-obligation
vfukala:simplest-obligation
July 28, 2023 22:56 8m 6s
Resources, Obligations, Time Reasoning Publish on Crates.io #311: Pull request #1408 synchronize by vfukala
July 28, 2023 18:17 51s vfukala:simplest-obligation
vfukala:simplest-obligation
July 28, 2023 18:17 51s
Resources, Obligations, Time Reasoning Test #7079: Pull request #1408 synchronize by vfukala
July 28, 2023 18:17 2h 44m 12s vfukala:simplest-obligation
vfukala:simplest-obligation
July 28, 2023 18:17 2h 44m 12s
Resources, Obligations, Time Reasoning Build GitHub pages #117: Pull request #1408 synchronize by vfukala
July 28, 2023 18:17 7m 56s vfukala:simplest-obligation
vfukala:simplest-obligation
July 28, 2023 18:17 7m 56s
Resources, Obligations, Time Reasoning Build GitHub pages #116: Pull request #1408 synchronize by vfukala
July 28, 2023 16:05 8m 3s vfukala:simplest-obligation
vfukala:simplest-obligation
July 28, 2023 16:05 8m 3s
Resources, Obligations, Time Reasoning Publish on Crates.io #310: Pull request #1408 synchronize by vfukala
July 28, 2023 16:05 44s vfukala:simplest-obligation
vfukala:simplest-obligation
July 28, 2023 16:05 44s
Resources, Obligations, Time Reasoning Test #7078: Pull request #1408 synchronize by vfukala
July 28, 2023 16:05 2h 12m 0s vfukala:simplest-obligation
vfukala:simplest-obligation
July 28, 2023 16:05 2h 12m 0s