diff options
author | deadprogram <[email protected]> | 2023-05-16 10:46:10 +0200 |
---|---|---|
committer | Ron Evans <[email protected]> | 2023-05-16 18:41:45 +0200 |
commit | 02913563df710ab05f2831429d064b6a3e615c99 (patch) | |
tree | 91a920d986f2ef60189bad25bda35a3cb4056704 /.github | |
parent | 535e64adbcc1c0907c18a25c7f149c31cb69e708 (diff) | |
download | tinygo-02913563df710ab05f2831429d064b6a3e615c99.tar.gz tinygo-02913563df710ab05f2831429d064b6a3e615c99.zip |
build: add write permission to sizediff GH actions job to always be able to add comments
Signed-off-by: deadprogram <[email protected]>
Diffstat (limited to '.github')
-rw-r--r-- | .github/workflows/sizediff.yml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/.github/workflows/sizediff.yml b/.github/workflows/sizediff.yml index 38fa5335c..4d7fc3a31 100644 --- a/.github/workflows/sizediff.yml +++ b/.github/workflows/sizediff.yml @@ -10,6 +10,8 @@ concurrency: jobs: sizediff: runs-on: ubuntu-22.04 + permissions: + pull-requests: write steps: # Prepare, install tools - name: Add GOBIN to $PATH |