Skip to content

Remove format_header.sh #6466

Remove format_header.sh

Remove format_header.sh #6466

Triggered via issue January 8, 2024 08:31
Status Skipped
Total duration 3s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

bot-pr-comment.yml

on: issue_comment
label
0s
label
format
0s
format
check-format  /  Run pre-commit hooks
check-format / Run pre-commit hooks
Fit to window
Zoom out
Zoom in