summaryrefslogtreecommitdiff
path: root/.github/workflows/fuzz.yml
diff options
context:
space:
mode:
authorJohnny Willemsen <jwillemsen@remedy.nl>2022-10-17 10:44:11 +0200
committerGitHub <noreply@github.com>2022-10-17 10:44:11 +0200
commitfbca24798130651fe843fe4863fbb2c2078c025a (patch)
tree104ac71e7e6379340b27ac6698e46e81aca98a7c /.github/workflows/fuzz.yml
parentf6f7d5f180f899968c43961dabdd333ddafa7b92 (diff)
parent25654dbfacce21319b466a1a35665d0eb60c34cd (diff)
downloadMPC-fbca24798130651fe843fe4863fbb2c2078c025a.tar.gz
Merge branch 'master' into pin-3.21pin-3.21
Diffstat (limited to '.github/workflows/fuzz.yml')
-rw-r--r--.github/workflows/fuzz.yml3
1 files changed, 3 insertions, 0 deletions
diff --git a/.github/workflows/fuzz.yml b/.github/workflows/fuzz.yml
index 5e2857c1..b2378128 100644
--- a/.github/workflows/fuzz.yml
+++ b/.github/workflows/fuzz.yml
@@ -11,6 +11,9 @@ concurrency:
group: ${{ github.workflow }}-${{ github.ref }}
cancel-in-progress: true
+permissions:
+ contents: read
+
env:
DOC_ROOT: ${{ github.workspace }}/ACE
ACE_ROOT: ${{ github.workspace }}/ACE/ACE