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.
14 workflow run results
14 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
Update dependencies Update dependencies #70: Scheduled
September 15, 2023 07:01 1m 45s master
master
September 15, 2023 07:01 1m 45s
Update dependencies Update dependencies #69: Scheduled
September 1, 2023 07:01 4m 20s master
master
September 1, 2023 07:01 4m 20s
Update dependencies Update dependencies #68: Scheduled
August 15, 2023 07:01 1m 49s master
master
August 15, 2023 07:01 1m 49s
Update dependencies Update dependencies #67: Scheduled
August 1, 2023 07:02 1m 38s master
master
August 1, 2023 07:02 1m 38s
Update dependencies Update dependencies #66: Scheduled
July 15, 2023 07:02 1m 38s master
master
July 15, 2023 07:02 1m 38s
Update dependencies Update dependencies #65: Scheduled
July 1, 2023 07:01 2m 6s master
master
July 1, 2023 07:01 2m 6s