Skip to content

Commit

Permalink
Browse files Browse the repository at this point in the history
Merge branch 'main' into rename_entrypoints
Robert authored and GitHub committed Aug 25, 2020

Unverified

No user is associated with the committer email.
2 parents 9e342a9 + 570a0d7 commit 85c7ad0
Showing 1 changed file with 2 additions and 0 deletions.
2 changes: 2 additions & 0 deletions .github/workflows/pr-checks.yml
@@ -24,6 +24,8 @@ jobs:
>&2 echo "Failed: Repo should be clean before testing!"
exit 1
fi
# Wipe the lib directory incase there are extra unnecessary files in there
rm -rf lib
# Generate the JavaScript files
npm run-script build
# Check that repo is still clean

0 comments on commit 85c7ad0

Please sign in to comment.