Add CI for skipped files (#241)

stern · Mar 2, 2023 · 7131af2 · 7131af2
1 parent 74952fd
commit 7131af2
Show file tree

Hide file tree

Showing 2 changed files with 17 additions and 0 deletions.
diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
@@ -1,6 +1,7 @@
 name: CI
 
 on:
+  # Must keep in sync with ci_for_skipped.yaml
   push:
     branches: [master]
     paths-ignore: ['**.md']

diff --git a/.github/workflows/ci_for_skipped.yaml b/.github/workflows/ci_for_skipped.yaml
@@ -0,0 +1,16 @@
+# CI for skipped files
+name: CI
+
+on:
+  push:
+    branches: [master]
+    paths: ['**.md']
+  pull_request:
+    types: [opened, synchronize]
+    paths: ['**.md']
+
+jobs:
+  run:
+    runs-on: ubuntu-latest
+    steps:
+    - run: 'echo "No check required"'