Just ignore errors during publish

Change-type: patch
This commit is contained in:
ab77 2022-11-10 13:19:11 -08:00
parent 97b8c75043
commit 39e9997d9e
No known key found for this signature in database
GPG Key ID: D094F44E5E29445A

View File

@ -27,12 +27,13 @@ runs:
# https://docs.github.com/en/rest/releases
- name: Finalize GitHub release
if: runner.os == 'Linux'
# FIXME: Process completed with exit code 141.
# https://stackoverflow.com/questions/54999974
# https://stackoverflow.com/questions/22464786
continue-on-error: true
shell: bash
run: |
set -ea
# https://stackoverflow.com/a/22464942/1559300
trap '' PIPE
set -a
[[ '${{ inputs.VERBOSE }}' =~ on|On|Yes|yes|true|True ]] && set -x