Commit Diff


commit - 8f7a03109bda3d32fe08c80da53968bc1d6c4a19
commit + d72b57ac6c8914fef061e5821d4a0f58b8bb70a3
blob - /dev/null
blob + c044bd647873a40d97806d94533a3a72cadbea4d (mode 644)
--- /dev/null
+++ .github/workflows/check.yaml
@@ -0,0 +1,22 @@
+name: Static analysis
+
+on:
+  push:
+  pull_request:
+
+jobs:
+  static-analysis:
+    if: |
+      github.event_name == 'push' ||
+      github.event_name == 'pull_request' &&
+      github.event.pull_request.head.repo.full_name != github.repository
+
+    runs-on: ubuntu-latest
+
+    steps:
+      - uses: actions/checkout@v2
+
+      - name: Setup mandoc
+        run: sudo apt install -y mandoc
+
+      - run: make check