Skip to content

delete-closed-pr-docs #311

delete-closed-pr-docs

delete-closed-pr-docs #311

Triggered via schedule November 13, 2023 01:17
Status Success
Total duration 47s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention
delete-closed-pr-docs
36s
delete-closed-pr-docs
Fit to window
Zoom out
Zoom in