.github: add write permission to delete caches
This commit is contained in:
1 file changed
+6
@@ -11,6 +11,12 @@ on:
|
|||||||
branches:
|
branches:
|
||||||
- "master"
|
- "master"
|
||||||
|
|
||||||
|
permissions:
|
||||||
|
# Required to manage and delete caches.
|
||||||
|
actions: write
|
||||||
|
# Default permission for checking out code.
|
||||||
|
contents: read
|
||||||
|
|
||||||
concurrency:
|
concurrency:
|
||||||
# Cancel any previous workflows if they are from a PR or push.
|
# Cancel any previous workflows if they are from a PR or push.
|
||||||
group: ${{ github.event.pull_request.number || github.ref }}
|
group: ${{ github.event.pull_request.number || github.ref }}
|
||||||
|
|||||||
Reference in new issue
Block a user