Merge pull request #318 from 3d-gussner/MMU__Stale_action_V9

Update stale action to v9 as Node.js 16 are deprecated.
pull/321/head
3d-gussner 2024-03-13 14:03:14 +01:00 committed by GitHub
commit e14175d9cd
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
3 changed files with 3 additions and 3 deletions

View File

@ -133,7 +133,7 @@ jobs:
- name: Add PR Comment - name: Add PR Comment
if: ${{ github.event.pull_request }} if: ${{ github.event.pull_request }}
uses: mshick/add-pr-comment@v2 uses: mshick/add-pr-comment@v2.8.2
with: with:
message-path: build/Summary.txt message-path: build/Summary.txt
message-id: "coverage" message-id: "coverage"

View File

@ -74,6 +74,6 @@ jobs:
./build-base/pr-size.sh build-changes build-base build-pr ./build-base/pr-size.sh build-changes build-base build-pr
- name: Add PR Comment - name: Add PR Comment
uses: mshick/add-pr-comment@v2 uses: mshick/add-pr-comment@v2.8.2
with: with:
message-path: build-changes message-path: build-changes

View File

@ -11,7 +11,7 @@ jobs:
runs-on: ubuntu-latest runs-on: ubuntu-latest
steps: steps:
- uses: actions/stale@v8 - uses: actions/stale@v9
with: with:
repo-token: ${{ secrets.GITHUB_TOKEN }} repo-token: ${{ secrets.GITHUB_TOKEN }}
# Don't ever mark PRs as stale. # Don't ever mark PRs as stale.