Merge branch 'pybind:master' into master

This commit is contained in:
Steve R. Sun 2023-05-16 08:52:23 +08:00 committed by GitHub
commit a7c3647144
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
6 changed files with 19 additions and 0 deletions

View File

@ -9,6 +9,8 @@ on:
- stable - stable
- v* - v*
permissions: read-all
concurrency: concurrency:
group: test-${{ github.ref }} group: test-${{ github.ref }}
cancel-in-progress: true cancel-in-progress: true

View File

@ -9,6 +9,9 @@ on:
- stable - stable
- v* - v*
permissions:
contents: read
env: env:
# For cmake: # For cmake:
VERBOSE: 1 VERBOSE: 1

View File

@ -12,6 +12,9 @@ on:
- stable - stable
- "v*" - "v*"
permissions:
contents: read
env: env:
FORCE_COLOR: 3 FORCE_COLOR: 3
# For cmake: # For cmake:

View File

@ -3,10 +3,15 @@ on:
pull_request_target: pull_request_target:
types: [closed] types: [closed]
permissions: {}
jobs: jobs:
label: label:
name: Labeler name: Labeler
runs-on: ubuntu-latest runs-on: ubuntu-latest
permissions:
contents: read
pull-requests: write
steps: steps:
- uses: actions/labeler@main - uses: actions/labeler@main

View File

@ -12,6 +12,9 @@ on:
types: types:
- published - published
permissions:
contents: read
env: env:
PIP_ONLY_BINARY: numpy PIP_ONLY_BINARY: numpy

View File

@ -5,6 +5,9 @@ on:
workflow_dispatch: workflow_dispatch:
pull_request: pull_request:
permissions:
contents: read
concurrency: concurrency:
group: upstream-${{ github.ref }} group: upstream-${{ github.ref }}
cancel-in-progress: true cancel-in-progress: true