chore: update CI (#8614)

This commit is contained in:
jrandolf 2022-07-01 16:00:27 +02:00 committed by GitHub
parent 0cf4832878
commit 9fa96600f2
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 7 additions and 2 deletions

View File

@ -65,7 +65,11 @@ jobs:
- name: Build - name: Build
run: npm run docs run: npm run docs
- name: Check if autogenerated docs differ - name: Check if autogenerated docs differ
run: $(git diff) || exit 1 run: |
if [[ $(git diff) ]]; then
echo "Please update the documentation by running 'npm run docs'"
exit 1
fi
- name: Check if docs need to be deployed - name: Check if docs need to be deployed
id: needs_deploying id: needs_deploying
run: | run: |
@ -172,6 +176,7 @@ jobs:
if: ${{ steps.test-chrome.conclusion != 'skipped' }} if: ${{ steps.test-chrome.conclusion != 'skipped' }}
run: npm run test:firefox run: npm run test:firefox
- name: Test bundling and installation - name: Test bundling and installation
if: ${{ matrix.spec.name == 'Linux' }}
run: | run: |
# Note: this modifies package.json to test puppeteer-core, so we test this last. # Note: this modifies package.json to test puppeteer-core, so we test this last.
npm run test:install npm run test:install

View File

@ -32,5 +32,5 @@ jobs:
git config --global user.name 'release-please[bot]' git config --global user.name 'release-please[bot]'
git config --global user.email '55107282+release-please[bot]@users.noreply.github.com' git config --global user.email '55107282+release-please[bot]@users.noreply.github.com'
git add . git add .
git commit -m 'chore: generated versioned docs' git commit -m 'chore: generate versioned docs'
git push --no-verify git push --no-verify