Skip to content

Actions: prusti/prusti-prerelease

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
6 workflow runs
6 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Update dependencies Update dependencies #5: Scheduled
5m 38s pre-release
pre-release
5m 38s
Update dependencies Update dependencies #4: Scheduled
6m 11s pre-release
pre-release
6m 11s
Update dependencies Update dependencies #3: Scheduled
6m 4s pre-release
pre-release
6m 4s
Update dependencies Update dependencies #2: Scheduled
5m 30s pre-release
pre-release
5m 30s
Update dependencies Update dependencies #1: Scheduled
6m 9s pre-release
pre-release
6m 9s
no tests for pre-release configuration Deploy #1: Commit 897796a pushed by zgrannan
13m 21s pre-release
pre-release
13m 21s