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.
8 workflow run results
8 workflow run results

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
Update dependencies Update dependencies #72: Scheduled
October 15, 2023 07:01 1m 48s master
master
October 15, 2023 07:01 1m 48s
Update dependencies Update dependencies #71: Scheduled
October 1, 2023 07:01 1m 42s master
master
October 1, 2023 07:01 1m 42s