Use diff instead of rm/cp/git diff

bytecodealliance · Aug 18, 2023 · 2a3e90f · 2a3e90f
1 parent 9687e28
commit 2a3e90f
Showing 1 changed file with 2 additions and 4 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -457,11 +457,9 @@ jobs:
 
  # Ensure wit definitions are in sync: both wasmtime-wasi and wasmtime-wasi-http need their own
  # copy of the wit definitions so publishing works, but we need to ensure they are identical copies.
- - name: Check wasi and wasi-http wit directories
+ - name: Check that the wasi and wasi-http wit directories agree
  run: |
- rm -rf 'crates/wasi-http/wit'
- cp -rv 'crates/wasi/wit/' 'crates/wasi-http/wit/'
- git diff --exit-code --diff-filter=ADM -- 'crates/wasi-http/wit/'
+ diff -ru crates/wasi/wit crates/wasi-http/wit
 
  # Build and test all features
  - run: ./ci/run-tests.sh --locked