Delete deployed PR from S3

Some touches to the TFile documentation in the Manual #868

Sign in to view logs

Triggered via pull request April 2, 2026 11:05

dpiparo

closed #1202

doc_update

Status Success

Total duration 46s

Artifacts –

delete-deployed-pr.yml

on: pull_request

delete_deployed_pr