Delete PR prefix on merge

Delete PR prefix on merge #116

Sign in to view logs

Triggered via pull request February 3, 2025 16:21

closed #375

caching_udf_simplification

Status Success

Total duration 35s

Artifacts –

pr-merge.yml

on: pull_request

delete-s3-prefix