Skip to content

delete-closed-pr-docs #563

delete-closed-pr-docs

delete-closed-pr-docs #563

delete-closed-pr-docs

succeeded Mar 5, 2025 in 49s
Set up job
2s
Check out repository
30s
Delete closed PR docs
14s
Post Delete closed PR docs
0s
Post Check out repository
0s
Complete job
0s