diff options
author | Johnny Willemsen <jwillemsen@remedy.nl> | 2022-10-17 10:44:11 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-10-17 10:44:11 +0200 |
commit | fbca24798130651fe843fe4863fbb2c2078c025a (patch) | |
tree | 104ac71e7e6379340b27ac6698e46e81aca98a7c /.github/workflows/fuzz.yml | |
parent | f6f7d5f180f899968c43961dabdd333ddafa7b92 (diff) | |
parent | 25654dbfacce21319b466a1a35665d0eb60c34cd (diff) | |
download | MPC-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.yml | 3 |
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 |