Skip to content

Actions: viperproject/prusti-dev

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Resources, Obligations, Time Reasoning Publish on Crates.io #279: Pull request #1408 synchronize by vfukala
July 14, 2023 21:08 41s vfukala:simplest-obligation
vfukala:simplest-obligation
July 14, 2023 21:08 41s
Resources, Obligations, Time Reasoning Test #7042: Pull request #1408 synchronize by vfukala
July 14, 2023 12:49 2h 40m 33s vfukala:simplest-obligation
vfukala:simplest-obligation
July 14, 2023 12:49 2h 40m 33s
Resources, Obligations, Time Reasoning Build GitHub pages #80: Pull request #1408 synchronize by vfukala
July 14, 2023 12:49 7m 3s vfukala:simplest-obligation
vfukala:simplest-obligation
July 14, 2023 12:49 7m 3s
Resources, Obligations, Time Reasoning Publish on Crates.io #278: Pull request #1408 synchronize by vfukala
July 14, 2023 12:49 1m 33s vfukala:simplest-obligation
vfukala:simplest-obligation
July 14, 2023 12:49 1m 33s
Resources, Obligations, Time Reasoning Publish on Crates.io #277: Pull request #1408 synchronize by vfukala
July 13, 2023 15:30 50s vfukala:simplest-obligation
vfukala:simplest-obligation
July 13, 2023 15:30 50s
Resources, Obligations, Time Reasoning Test #7041: Pull request #1408 synchronize by vfukala
July 13, 2023 15:30 2h 1m 2s vfukala:simplest-obligation
vfukala:simplest-obligation
July 13, 2023 15:30 2h 1m 2s
Resources, Obligations, Time Reasoning Build GitHub pages #79: Pull request #1408 synchronize by vfukala
July 13, 2023 15:30 9m 21s vfukala:simplest-obligation
vfukala:simplest-obligation
July 13, 2023 15:30 9m 21s
Resources, Obligations, Time Reasoning Publish on Crates.io #276: Pull request #1408 synchronize by vfukala
July 13, 2023 04:28 46s vfukala:simplest-obligation
vfukala:simplest-obligation
July 13, 2023 04:28 46s
Resources, Obligations, Time Reasoning Build GitHub pages #78: Pull request #1408 synchronize by vfukala
July 13, 2023 04:28 11m 38s vfukala:simplest-obligation
vfukala:simplest-obligation
July 13, 2023 04:28 11m 38s
Resources, Obligations, Time Reasoning Test #7040: Pull request #1408 synchronize by vfukala
July 13, 2023 04:28 2h 12m 50s vfukala:simplest-obligation
vfukala:simplest-obligation
July 13, 2023 04:28 2h 12m 50s
Update dependencies (rustc nightly-2023-06-15, viper v-2023-05-17-0733) Build GitHub pages #77: Pull request #1411 synchronize by JonasAlaif
July 12, 2023 14:04 8m 7s auto-update-nightly-2023-06-15
auto-update-nightly-2023-06-15
July 12, 2023 14:04 8m 7s
Update dependencies (rustc nightly-2023-06-15, viper v-2023-05-17-0733) Publish on Crates.io #275: Pull request #1411 synchronize by JonasAlaif
July 12, 2023 14:04 56s auto-update-nightly-2023-06-15
auto-update-nightly-2023-06-15
July 12, 2023 14:04 56s
Update dependencies (rustc nightly-2023-06-15, viper v-2023-05-17-0733) Test #7039: Pull request #1411 synchronize by JonasAlaif
July 12, 2023 14:04 15m 56s auto-update-nightly-2023-06-15
auto-update-nightly-2023-06-15
July 12, 2023 14:04 15m 56s
Update dependencies (rustc nightly-2023-06-15, viper v-2023-05-17-0733) Publish on Crates.io #274: Pull request #1411 synchronize by JonasAlaif
July 12, 2023 14:03 1m 59s auto-update-nightly-2023-06-15
auto-update-nightly-2023-06-15
July 12, 2023 14:03 1m 59s
Update dependencies (rustc nightly-2023-06-15, viper v-2023-05-17-0733) Build GitHub pages #76: Pull request #1411 synchronize by JonasAlaif
July 12, 2023 14:03 7m 57s auto-update-nightly-2023-06-15
auto-update-nightly-2023-06-15
July 12, 2023 14:03 7m 57s
Update dependencies (rustc nightly-2023-06-15, viper v-2023-05-17-0733) Test #7038: Pull request #1411 synchronize by JonasAlaif
July 12, 2023 14:03 1m 42s auto-update-nightly-2023-06-15
auto-update-nightly-2023-06-15
July 12, 2023 14:03 1m 42s