diff options
| author | Jo-Philipp Wich <jo@mein.io> | 2023-04-01 11:21:03 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-04-01 11:21:03 +0200 |
| commit | 6b9a985fa7faecadb84a53fb85d7afa8791e93f1 (patch) | |
| tree | 88db89d603b4e90d120e082fdb8af0077395e02c /.github | |
| parent | fb58eeb96d3e9f168017b106ce55bc8eee473caf (diff) | |
| parent | 568782ca976c5bd947f7cf4898972d97f5da9905 (diff) | |
Merge pull request #6325 from 1715173329/ci-remaining
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/formal.yml | 2 | ||||
| -rw-r--r-- | .github/workflows/jsdoc.yml | 4 |
2 files changed, 3 insertions, 3 deletions
diff --git a/.github/workflows/formal.yml b/.github/workflows/formal.yml index 25609174e8..b3f824c524 100644 --- a/.github/workflows/formal.yml +++ b/.github/workflows/formal.yml @@ -11,7 +11,7 @@ jobs: fail-fast: false steps: - - uses: actions/checkout@v2 + - uses: actions/checkout@v3 with: ref: ${{ github.event.pull_request.head.sha }} fetch-depth: 0 diff --git a/.github/workflows/jsdoc.yml b/.github/workflows/jsdoc.yml index b67956ad18..254e3e6c38 100644 --- a/.github/workflows/jsdoc.yml +++ b/.github/workflows/jsdoc.yml @@ -11,7 +11,7 @@ jobs: runs-on: ubuntu-latest steps: - name: Checkout code - uses: actions/checkout@v2 + uses: actions/checkout@v3 - name: Install run: npm install @@ -20,7 +20,7 @@ jobs: run: npm run doc - name: Archive docs as artifact - uses: actions/upload-artifact@v2 + uses: actions/upload-artifact@v3 with: name: docs path: ./docs/ |