Merge pull request #13097 from jakevdp:actions-permissions

PiperOrigin-RevId: 486160888
This commit is contained in:
jax authors 2022-11-04 09:36:32 -07:00
commit 3db2a59f76

View File

@ -16,6 +16,10 @@ on:
branches:
- main
permissions:
contents: read # to fetch code
actions: write # to cancel previous workflows
jobs:
lint_and_typecheck:
runs-on: ubuntu-latest