Skip to content

Merge pull request #6711 from desertkaz/case-insensitive-pattern #1054

Merge pull request #6711 from desertkaz/case-insensitive-pattern

Merge pull request #6711 from desertkaz/case-insensitive-pattern #1054

Triggered via push October 6, 2023 03:57
Status Success
Total duration 25s
Artifacts
Matrix: check_syntax
Fit to window
Zoom out
Zoom in