Merge pull request #1910 from ndim/guard-against-zombie-problems

Add checks for zombie sourcecode problems

.github/workflows/check-sourcecode.yml

@@ -0,0 +1,24 @@
+name: "Check Sourcecode"
+
+on:
+  push:
+    branches-ignore:
+      - 'onlinedocs'
+  pull_request:
+    branches-ignore:
+      - 'onlinedocs'
+
+jobs:
+
+  check-sourcecode:
+    name: "Check Sourcecode"
+    runs-on: ubuntu-latest
+
+    steps:
+
+      - uses: actions/checkout@v4
+
+      # - name: Install prerequisites
+
+      - name: "Check the sourcecode"
+        run: ./tools/check-sourcecode