Merge pull request #1 from lumag/CI

CI: run make check on pull requests and branch points
linux-msm · Nov 9, 2024 · 2371213 · 2371213
2 parents d213105 + 2d16a76
commit 2371213
Show file tree

Hide file tree

Showing 2 changed files with 29 additions and 0 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -0,0 +1,26 @@
+name: Check
+on:
+  pull_request:
+  push:
+  workflow_dispatch:
+
+jobs:
+  check:
+    name: make check
+    runs-on: ubuntu-latest
+    permissions:
+      actions: read
+      contents: read
+
+    steps:
+      - name: Git checkout
+        uses: actions/checkout@v4
+
+      - name: Check
+        run: make check
+
+      - name: Dist
+        run: make dist
+
+      - name: Check install
+        run: make install DESTDIR=`pwd`/install
diff --git a/scripts/check_whence.py b/scripts/check_whence.py
@@ -110,6 +110,9 @@ def main():
         if os.path.dirname(file) == 'scripts':
             continue
 
+        if os.path.dirname(file) == '.github/workflows':
+            continue
+
         if file in known_files:
             continue