CI: remove ":" from close-the-issue bot label names #97
Triggered via pull request
February 19, 2024 16:58
jsquyres
Status
Success
Total duration
10m 20s
Artifacts
–