Skip to content

Delete PR prefix on merge #115

Delete PR prefix on merge

Delete PR prefix on merge #115

Triggered via pull request February 3, 2025 14:03
Status Success
Total duration 25s
Artifacts

pr-merge.yml

on: pull_request
delete-s3-prefix
15s
delete-s3-prefix
Fit to window
Zoom out
Zoom in