Merge pull request #1008 from github/edoardo/no-fail-12.12
Avoid failure if `@types/node` is already 12.12
This commit is contained in:
commit
894faced79
1 changed files with 7 additions and 5 deletions
2
.github/workflows/pr-checks.yml
vendored
2
.github/workflows/pr-checks.yml
vendored
|
|
@ -46,11 +46,13 @@ jobs:
|
||||||
# `npm install` on Linux.
|
# `npm install` on Linux.
|
||||||
npm install
|
npm install
|
||||||
|
|
||||||
|
if [ ! -z "$(git status --porcelain)" ]; then
|
||||||
git config --global user.email "github-actions@github.com"
|
git config --global user.email "github-actions@github.com"
|
||||||
git config --global user.name "github-actions[bot]"
|
git config --global user.name "github-actions[bot]"
|
||||||
# The period in `git add --all .` ensures that we stage deleted files too.
|
# The period in `git add --all .` ensures that we stage deleted files too.
|
||||||
git add --all .
|
git add --all .
|
||||||
git commit -m "Use @types/node=${NODE_TYPES_VERSION}"
|
git commit -m "Use @types/node=${NODE_TYPES_VERSION}"
|
||||||
|
fi
|
||||||
|
|
||||||
- name: Check generated JS
|
- name: Check generated JS
|
||||||
run: .github/workflows/script/check-js.sh
|
run: .github/workflows/script/check-js.sh
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue