From 99539363477ad3e1c85478e264eed2357fe483e8 Mon Sep 17 00:00:00 2001 From: Henry Mercer Date: Tue, 28 Jun 2022 18:24:18 +0100 Subject: [PATCH] Add instructions to remove deleted JS / source map files in PR check --- .github/workflows/script/check-js.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/script/check-js.sh b/.github/workflows/script/check-js.sh index 9b7405099..3c9b75812 100755 --- a/.github/workflows/script/check-js.sh +++ b/.github/workflows/script/check-js.sh @@ -14,8 +14,8 @@ npm run-script build # Check that repo is still clean if [ ! -z "$(git status --porcelain)" ]; then # If we get a fail here then the PR needs attention - >&2 echo "Failed: JavaScript files are not up to date. Run 'npm run-script build' to update" + >&2 echo "Failed: JavaScript files are not up to date. Run 'rm -rf lib && npm run-script build' to update" git status exit 1 fi -echo "Success: JavaScript files are up to date" \ No newline at end of file +echo "Success: JavaScript files are up to date"