Skip to content

Delete PR prefix on merge #75

Delete PR prefix on merge

Delete PR prefix on merge #75

Annotations

1 warning

delete-s3-prefix

succeeded Jan 17, 2025 in 11s
Set up job
1s
configure aws credentials
1s
Delete PR prefix
5s
Post configure aws credentials
0s
Complete job
0s