Skip to content

delete-closed-pr-docs #177

delete-closed-pr-docs

delete-closed-pr-docs #177

delete-closed-pr-docs

succeeded Nov 30, 2024 in 25s
Set up job
1s
Check out repository
17s
Delete closed PR docs
6s
Post Delete closed PR docs
0s
Post Check out repository
0s
Complete job
0s