Allow different types of heading badges #12365
Triggered via pull request
September 26, 2024 17:06
Status
Success
Total duration
2m 51s
Artifacts
–
Annotations
1 warning
Analyze (javascript)
1 issue was detected with this workflow: git checkout HEAD^2 is no longer necessary. Please remove this step as Code Scanning recommends analyzing the merge commit for best results.
|