From b1742f8919fa90a9b845aff94e640ed31a8f42ee 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"