Skip to content

Add more file extensions to the license headers that we handle #104

Add more file extensions to the license headers that we handle

Add more file extensions to the license headers that we handle #104

Triggered via pull request March 6, 2025 17:32
Status Success
Total duration 11m 14s
Artifacts

pull_request.yml

on: pull_request
Soundness  /  API breakage check
0s
Soundness / API breakage check
Soundness  /  Documentation check
44s
Soundness / Documentation check
Soundness  /  Unacceptable language check
2s
Soundness / Unacceptable language check
Soundness  /  License headers check
5s
Soundness / License headers check
Soundness  /  Broken symlinks check
4s
Soundness / Broken symlinks check
Soundness  /  Format check
0s
Soundness / Format check
Soundness  /  Shell check
46s
Soundness / Shell check
Soundness  /  YAML lint check
3s
Soundness / YAML lint check
Soundness  /  Python lint check
5s
Soundness / Python lint check
Matrix: Test with Docker / linux-build
Matrix: Test with Docker / windows-build
Matrix: Test without Docker / linux-build
Matrix: Test without Docker / windows-build
Fit to window
Zoom out
Zoom in