Move GitHub Action linting to its own workflow (#516)

ponylang · Aug 16, 2023 · b8a50e6 · b8a50e6
1 parent 48d2889
commit b8a50e6
Show file tree

Hide file tree

Showing 2 changed files with 19 additions and 11 deletions.
diff --git a/.github/workflows/lint-action-workflows.yml b/.github/workflows/lint-action-workflows.yml
@@ -0,0 +1,19 @@
+name: Lint GitHub Action Workflows
+
+on: pull_request
+
+concurrency:
+  group: lint-actions-${{ github.ref }}
+  cancel-in-progress: true
+
+jobs:
+  lint:
+    name: Lint
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v3
+      - name: Check workflow files
+        uses: docker://ponylang/shared-docker-ci-actionlint:20230810
+        with:
+          args: -color
diff --git a/.github/workflows/pr.yml b/.github/workflows/pr.yml
@@ -7,17 +7,6 @@ concurrency:
   cancel-in-progress: true
 
 jobs:
-  actionlint:
-    name: Lint GitHub Action Workflows
-    runs-on: ubuntu-latest
-    steps:
-      - name: Checkout
-        uses: actions/checkout@v3
-      - name: Check workflow files
-        uses: docker://ponylang/shared-docker-ci-actionlint:20230810
-        with:
-          args: -color
-
   superlinter:
     name: Lint markdown and yaml
     runs-on: ubuntu-latest