Skip to content

Actions: viperproject/prusti-dev

Actions

Update dependencies

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
update-deps.yml
This workflow was disabled manually.
6 workflow runs
6 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update dependencies Update dependencies #78: Scheduled
January 15, 2024 07:01 1m 39s master
master
January 15, 2024 07:01 1m 39s
Update dependencies Update dependencies #77: Scheduled
January 1, 2024 07:01 1m 36s master
master
January 1, 2024 07:01 1m 36s
Update dependencies Update dependencies #76: Scheduled
December 15, 2023 07:01 1m 25s master
master
December 15, 2023 07:01 1m 25s
Update dependencies Update dependencies #75: Scheduled
December 1, 2023 07:01 1m 11s master
master
December 1, 2023 07:01 1m 11s
Update dependencies Update dependencies #74: Scheduled
November 15, 2023 07:01 4m 32s master
master
November 15, 2023 07:01 4m 32s
Update dependencies Update dependencies #73: Scheduled
November 1, 2023 07:01 1m 56s master
master
November 1, 2023 07:01 1m 56s