Skip to content

Actions: Aurel300/prusti-dev

Actions

Update dependencies

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
update-deps.yml
This scheduled workflow is disabled because there hasn't been activity in this repository for at least 60 days. Enable this workflow to resume scheduled runs.
14 workflow runs
14 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update dependencies Update dependencies #30: Scheduled
January 1, 2025 07:07 1m 6s rewrite-2023
rewrite-2023
January 1, 2025 07:07 1m 6s
Update dependencies Update dependencies #29: Scheduled
December 15, 2024 07:07 1m 15s rewrite-2023
rewrite-2023
December 15, 2024 07:07 1m 15s
Update dependencies Update dependencies #28: Scheduled
December 1, 2024 07:07 1m 4s rewrite-2023
rewrite-2023
December 1, 2024 07:07 1m 4s
Update dependencies Update dependencies #27: Scheduled
November 15, 2024 07:07 1m 12s rewrite-2023
rewrite-2023
November 15, 2024 07:07 1m 12s
Update dependencies Update dependencies #26: Scheduled
November 1, 2024 07:07 1m 24s rewrite-2023
rewrite-2023
November 1, 2024 07:07 1m 24s
Update dependencies Update dependencies #25: Scheduled
October 15, 2024 07:07 1m 10s rewrite-2023
rewrite-2023
October 15, 2024 07:07 1m 10s
Update dependencies Update dependencies #24: Scheduled
October 1, 2024 07:07 1m 10s rewrite-2023
rewrite-2023
October 1, 2024 07:07 1m 10s
Update dependencies Update dependencies #23: Scheduled
September 15, 2024 07:04 1m 17s rewrite-2023
rewrite-2023
September 15, 2024 07:04 1m 17s
Update dependencies Update dependencies #22: Scheduled
September 1, 2024 07:04 1m 4s rewrite-2023
rewrite-2023
September 1, 2024 07:04 1m 4s
Update dependencies Update dependencies #21: Scheduled
August 15, 2024 07:06 1m 17s rewrite-2023
rewrite-2023
August 15, 2024 07:06 1m 17s
Update dependencies Update dependencies #20: Scheduled
August 1, 2024 07:06 1m 2s rewrite-2023
rewrite-2023
August 1, 2024 07:06 1m 2s
Update dependencies Update dependencies #19: Scheduled
July 15, 2024 07:06 1m 20s rewrite-2023
rewrite-2023
July 15, 2024 07:06 1m 20s
Update dependencies Update dependencies #18: Scheduled
July 1, 2024 07:07 1m 16s rewrite-2023
rewrite-2023
July 1, 2024 07:07 1m 16s
Update dependencies Update dependencies #17: Scheduled
June 15, 2024 07:02 1m 0s rewrite-2023
rewrite-2023
June 15, 2024 07:02 1m 0s