mirror of
https://github.com/dorny/paths-filter.git
synced 2026-03-19 09:50:20 +00:00
feat: add dist/ freshness check to PR workflow
This commit is contained in:
parent
d8f7b061b2
commit
efb1da7ce8
@ -18,6 +18,13 @@ jobs:
|
||||
- run: |
|
||||
npm install
|
||||
npm run all
|
||||
- name: Check dist is up to date
|
||||
run: |
|
||||
if [ -n "$(git diff --name-only dist/)" ]; then
|
||||
echo "::error::dist/index.js is out of date. Run 'npm run all' and commit the result."
|
||||
git diff --stat dist/
|
||||
exit 1
|
||||
fi
|
||||
|
||||
test-inline:
|
||||
runs-on: ubuntu-latest
|
||||
|
||||
Loading…
Reference in New Issue
Block a user