From 7971bb03356384934c85164fb00416c05f9c70bf Mon Sep 17 00:00:00 2001
From: Max Schmitt <max@schmitt.mx>
Date: Tue, 16 Feb 2021 22:38:09 +0100
Subject: [PATCH] devops: verify clean tree on bots after build (#5354)

---
 .github/workflows/infra.yml | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/.github/workflows/infra.yml b/.github/workflows/infra.yml
index 777efef4a7..55b7f169fc 100644
--- a/.github/workflows/infra.yml
+++ b/.github/workflows/infra.yml
@@ -23,6 +23,13 @@ jobs:
     - run: npm ci
     - run: npm run build
     - run: npm run lint
+    - name: Verify clean tree
+      run: |
+        if [[ -n $(git status -s) ]]; then
+          echo "ERROR: tree is dirty after npm run build:"
+          git diff
+          exit 1
+        fi
 
   build-playwright-driver:
     name: "build-playwright-driver"