👷 Verify dist is up to date

Except when dependabot merges
WtfJoke · Feb 8, 2022 · 821e5b5 · 821e5b5
1 parent c319295
commit 821e5b5
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -12,6 +12,11 @@ jobs:
           yarn install
       - run: |
           yarn all
+      - name: Verify
+        if: github.actor != 'dependabot[bot]'
+        run: |
+          # Fail if "yarn run build && yarn run package" generated new changes in dist
+          git update-index --refresh dist/* && git diff-index --quiet HEAD dist
   test: # make sure the action works on a clean machine without building
     strategy:
       matrix:
@@ -27,4 +32,4 @@ jobs:
       - name: Tectonic version
         run: tectonic --version
       - name: Biber version
-        run: biber --version
+        run: biber --version