Require '##' for header to be labeled to avoid labeling comments in Bash/Python #537
Triggered via pull request
September 20, 2023 12:30
Status
Success
Total duration
1m 16s
Artifacts
–