Merge pull request #308 from goblint/indent-workflow

check indentation of changes on GitHub
goblint · Jul 29, 2021 · a4efec0 · a4efec0
2 parents c40a27a + df2d401
commit a4efec0
Showing 1 changed file with 19 additions and 0 deletions.
diff --git a/.github/workflows/indentation.yml b/.github/workflows/indentation.yml
@@ -0,0 +1,19 @@
+name: indentation
+
+on: [ push, pull_request]
+
+jobs:
+  indentation:
+    runs-on: ubuntu-latest
+
+    steps:
+      - name: Checkout code
+        uses: actions/checkout@v2
+        with:
+          fetch-depth: 0
+
+      - name: Install ocp-indent
+        run: sudo apt install ocp-indent
+
+      - name: Run pre-commit hook on changes since last push
+        run: git reset --soft ${{ github.event.before }} && ./scripts/hooks/pre-commit