ensure update_asdl and whats_left not broken

youknowone · youknowone · commit ad6fd5184b64 · 2022-08-23T17:10:15.000+09:00
diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
@@ -342,6 +342,10 @@ jobs:
       - name: check wasm code with prettier
         # prettier doesn't handle ignore files very well: https://github.com/prettier/prettier/issues/8506
         run: cd wasm && git ls-files -z | xargs -0 prettier --check -u
+      - name: Check update_asdl.sh consistency
+        run: bash scripts/update_asdl.sh && git diff --exit-code
+      - name: Check whats_left is not broken
+        run: python whats_left.py
 
   miri:
     name: Run tests under miri
