build(deps-dev): bump eslint from 9.16.0 to 9.17.0 #346
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
# We need to make sure the checked-in `dist/index.js` actually matches what we expect it to be. | |
name: check dist/ | |
on: | |
push: | |
branches: | |
- main | |
paths-ignore: | |
- '**.md' | |
pull_request: | |
paths-ignore: | |
- '**.md' | |
workflow_dispatch: | |
jobs: | |
check-dist: | |
runs-on: ubuntu-latest | |
permissions: | |
contents: write | |
steps: | |
- uses: actions/checkout@v4 | |
with: | |
fetch-depth: 0 | |
ref: ${{ github.event.pull_request.head.ref }} | |
- name: setup git config | |
run: | | |
git config user.name "Lucas Kacher" | |
git config user.email "<[email protected]>" | |
- name: Set Node.js 20.x | |
uses: actions/[email protected] | |
with: | |
node-version: 20.x | |
- name: Install dependencies | |
run: npm ci | |
- name: Rebuild the dist/ directory | |
run: npm run prepare | |
- name: Compare the expected and actual dist/ directories | |
run: | | |
if [ "$(git diff --ignore-space-at-eol dist/ | wc -l)" -gt "0" ]; then | |
git add . | |
git diff | |
git commit -m "rebuild dist" | |
git push | |
fi | |
id: diff |