Merge commit '185ddad004a14475945215bcb3e921d4dae88bb0' into rc

- merge master into rc before PR 0.3.9
This commit is contained in:
thelastWallE 2021-11-13 11:36:19 +01:00
commit cfe8bbdc8e
2 changed files with 3 additions and 13 deletions

View File

@ -1,12 +0,0 @@
name: FakeAction
on:
workflow_dispatch:
jobs:
build:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v1
- name: Run a one-line script
run: echo ping

View File

@ -9,10 +9,12 @@ jobs:
runs-on: ubuntu-latest runs-on: ubuntu-latest
steps: steps:
- name: Close Stale Issues - name: Close Stale Issues
uses: actions/stale@v3.0.18 uses: actions/stale@v4.0.0
with: with:
# Token for the repository. Can be passed in using `{{ secrets.GITHUB_TOKEN }}`. # Token for the repository. Can be passed in using `{{ secrets.GITHUB_TOKEN }}`.
# repo-token: ${{ github.token }} # repo-token: ${{ github.token }}
stale-issue-message: 'This issue is stale because it has been open 30 days with no activity. Remove stale label or comment or this will be closed in 5 days.' stale-issue-message: 'This issue is stale because it has been open 30 days with no activity. Remove stale label or comment or this will be closed in 5 days.'
days-before-stale: 30 days-before-stale: 30
days-before-close: 5 days-before-close: 5
exempt-all-pr-milestones: true
exempt-all-assignees: true