robojerk/codeql-action

Merge branch 'main' into rename_entrypoints

Browse source
This commit is contained in:
Robert 2020-08-25 11:10:22 +01:00 • committed by GitHub
commit 85c7ad0ecd
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

2
.github/workflows/pr-checks.yml vendored
View file

@ -24,6 +24,8 @@ jobs:
>&2 echo "Failed: Repo should be clean before testing!" >&2 echo "Failed: Repo should be clean before testing!"
exit 1 exit 1
fi fi
# Wipe the lib directory incase there are extra unnecessary files in there
rm -rf lib
# Generate the JavaScript files # Generate the JavaScript files
npm run-script build npm run-script build
# Check that repo is still clean # Check that repo is still clean