Add workflow to run actionlint

runtimeverification · Jun 21, 2024 · 0c8deef · 0c8deef
1 parent bf33c22
commit 0c8deef
Show file tree

Hide file tree

Showing 2 changed files with 21 additions and 0 deletions.
diff --git a/.github/actionlint.yaml b/.github/actionlint.yaml
@@ -0,0 +1,5 @@
+self-hosted-runner:
+  labels:
+    - normal
+    - MacM1
+    - performance
diff --git a/.github/workflows/run-actionlint.yml b/.github/workflows/run-actionlint.yml
@@ -0,0 +1,16 @@
+name: Lint GitHub Actions workflows
+on: pull_request
+
+jobs:
+  actionlint:
+    name: Run actionlint
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+      - name: Download actionlint
+        id: get_actionlint
+        run: bash <(curl https://raw.githubusercontent.com/rhysd/actionlint/main/scripts/download-actionlint.bash)
+        shell: bash
+      - name: Check workflow files
+        run: ${{ steps.get_actionlint.outputs.executable }} -color
+        shell: bash