ci: diff-codegen

Nugine · May 11, 2023 · 0d601ed · 0d601ed
1 parent 6dbc96b
commit 0d601ed
Showing 1 changed file with 1 addition and 5 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -172,11 +172,7 @@ jobs:
     steps:
       - uses: actions/checkout@v3
       - uses: dtolnay/rust-toolchain@stable
-      - uses: taiki-e/install-action@v1
-        with:
-          tool: ripgrep
       - name: diff
         run: |
-          cp src/bindings.rs bindings.rs
           ./scripts/codegen.sh
-          diff src/bindings.rs bindings.rs 
+          [[ -z $(git status -s) ]] # Fail if changed. See https://stackoverflow.com/a/9393642