diff --git a/.github/actionlint.yaml b/.github/actionlint.yaml new file mode 100644 index 000000000..8bf21eecb --- /dev/null +++ b/.github/actionlint.yaml @@ -0,0 +1,4 @@ +self-hosted-runner: + # The admin node is registered as a self-hosted runner (see the infra repository) + labels: + - admin diff --git a/.github/workflows/lint-actions.yml b/.github/workflows/lint-actions.yml new file mode 100644 index 000000000..1b8c9e8df --- /dev/null +++ b/.github/workflows/lint-actions.yml @@ -0,0 +1,20 @@ +name: Lint GitHub Actions workflows + +on: + push: + branches: [main] + paths: ['.github/workflows/**', '.github/actionlint.yaml'] + pull_request: + paths: ['.github/workflows/**', '.github/actionlint.yaml'] + +jobs: + actionlint: + if: github.repository_owner == 'compiler-explorer' + runs-on: ubuntu-latest + steps: + - name: Checkout repository + uses: actions/checkout@v4 + - name: Check workflow files + uses: docker://rhysd/actionlint:1.7.12 + with: + args: -color