add github actions ci

2025-12-18 14:19:38 -07:00
parent c2794dcb1d
commit a319ad98b3
2 changed files with 120 additions and 0 deletions
@@ -0,0 +1,17 @@
+name: Check dirty git
+description: Check the git status of the current directory, and raise an error if there are uncommitted changes.
+
+runs:
+  using: composite
+  steps:
+    - name: Checking dirty git
+      shell: bash
+      run: |
+        # Workaround for https://github.com/actions/checkout/issues/766
+        git config --global --add safe.directory "$GITHUB_WORKSPACE"
+
+        if [[ -n $(git status --porcelain) ]]; then
+          echo "repo is dirty"
+          git status
+          exit 1
+        fi