Merge pull request #6325 from 1715173329/ci-remaining
This commit is contained in:
commit
6b9a985fa7
2 changed files with 3 additions and 3 deletions
2
.github/workflows/formal.yml
vendored
2
.github/workflows/formal.yml
vendored
|
@ -11,7 +11,7 @@ jobs:
|
||||||
fail-fast: false
|
fail-fast: false
|
||||||
|
|
||||||
steps:
|
steps:
|
||||||
- uses: actions/checkout@v2
|
- uses: actions/checkout@v3
|
||||||
with:
|
with:
|
||||||
ref: ${{ github.event.pull_request.head.sha }}
|
ref: ${{ github.event.pull_request.head.sha }}
|
||||||
fetch-depth: 0
|
fetch-depth: 0
|
||||||
|
|
4
.github/workflows/jsdoc.yml
vendored
4
.github/workflows/jsdoc.yml
vendored
|
@ -11,7 +11,7 @@ jobs:
|
||||||
runs-on: ubuntu-latest
|
runs-on: ubuntu-latest
|
||||||
steps:
|
steps:
|
||||||
- name: Checkout code
|
- name: Checkout code
|
||||||
uses: actions/checkout@v2
|
uses: actions/checkout@v3
|
||||||
|
|
||||||
- name: Install
|
- name: Install
|
||||||
run: npm install
|
run: npm install
|
||||||
|
@ -20,7 +20,7 @@ jobs:
|
||||||
run: npm run doc
|
run: npm run doc
|
||||||
|
|
||||||
- name: Archive docs as artifact
|
- name: Archive docs as artifact
|
||||||
uses: actions/upload-artifact@v2
|
uses: actions/upload-artifact@v3
|
||||||
with:
|
with:
|
||||||
name: docs
|
name: docs
|
||||||
path: ./docs/
|
path: ./docs/
|
||||||
|
|
Loading…
Reference in a new issue