Merge pull request #6083 from google/master

chore: merge master into develop
This commit is contained in:
alschmiedt
2022-04-18 09:03:44 -07:00
committed by GitHub
4 changed files with 22 additions and 0 deletions

View File

@@ -21,3 +21,13 @@ updates:
labels:
- "PR: chore"
- "PR: dependencies"
- package-ecosystem: "github-actions" # See documentation for possible values
directory: "/"
target-branch: "develop"
schedule:
interval: "weekly"
commit-message:
prefix: "chore(deps)"
labels:
- "PR: chore"
- "PR: dependencies"

View File

@@ -5,6 +5,9 @@ name: Node.js CI
on: [pull_request]
permissions:
contents: read
jobs:
build:
runs-on: ${{ matrix.os }}

View File

@@ -4,6 +4,9 @@ name: Check clang format
# submitted branch.
on: [pull_request]
permissions:
contents: read
jobs:
clang-formatter:
runs-on: ubuntu-latest

View File

@@ -5,8 +5,14 @@ name: Update Metadata
on: [workflow_dispatch]
permissions:
contents: read
jobs:
update-metadata:
permissions:
contents: write # for peter-evans/create-pull-request to create branch
pull-requests: write # for peter-evans/create-pull-request to create a PR
runs-on: ubuntu-latest
steps: