Skip to content

Checkpoint tools

Checkpoint tools #10

Triggered via pull request September 5, 2023 15:42
Status Success
Total duration 12s
Artifacts 1

post-pr.yml

on: pull_request
cleanup
2s
cleanup
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
pr_number Expired
4 Bytes