Merge pull request #10879 from MikeMcQuaid/yaml-cleanup

github/workflows: YAML cleanup.
This commit is contained in:
Mike McQuaid 2021-03-18 13:29:20 +00:00 committed by GitHub
commit 3b806c47bd
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 4 additions and 4 deletions

View File

@ -16,7 +16,7 @@ jobs:
tests: tests:
strategy: strategy:
matrix: matrix:
version: ['11-arm', '11.0', '10.15', '10.14'] version: ["11-arm", "11.0", "10.15", "10.14"]
fail-fast: false fail-fast: false
runs-on: ${{ matrix.version }} runs-on: ${{ matrix.version }}
env: env:

View File

@ -33,8 +33,8 @@ jobs:
stale-pr-message: > stale-pr-message: >
This pull request has been automatically marked as stale because it has not had This pull request has been automatically marked as stale because it has not had
recent activity. It will be closed if no further activity occurs. recent activity. It will be closed if no further activity occurs.
exempt-issue-labels: 'gsoc-outreachy,help wanted,in progress' exempt-issue-labels: "gsoc-outreachy,help wanted,in progress"
exempt-pr-labels: 'gsoc-outreachy,help wanted,in progress' exempt-pr-labels: "gsoc-outreachy,help wanted,in progress"
lock-threads: lock-threads:
if: startsWith(github.repository, 'Homebrew/') && github.event_name != 'issue_comment' if: startsWith(github.repository, 'Homebrew/') && github.event_name != 'issue_comment'