github: make the PR template the default #5592
Triggered via pull request
July 7, 2023 09:11
tzemanovic
opened
#1688
Status
Success
Total duration
6m 46s
Artifacts
–
Annotations
16 warnings