diff options
| author | Rafael Sene <rafael@riscv.org> | 2023-04-26 17:42:04 -0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-04-26 17:42:04 -0300 |
| commit | e474400eb915cc06865f5f07eed1312a98ce110f (patch) | |
| tree | 19205208a40d7cd11c28ab575c6d67583d7f014e /.github | |
| parent | 35299c2f728a5be67d2805be7f482fa337e81f9f (diff) | |
| download | riscv-isa-manual-e474400eb915cc06865f5f07eed1312a98ce110f.zip riscv-isa-manual-e474400eb915cc06865f5f07eed1312a98ce110f.tar.gz riscv-isa-manual-e474400eb915cc06865f5f07eed1312a98ce110f.tar.bz2 | |
Update build-pdf-and-html.yml
Add the capability to draft a release from push and merge
Signed-off-by: Rafael Sene <rafael@riscv.org>
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/build-pdf-and-html.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/build-pdf-and-html.yml b/.github/workflows/build-pdf-and-html.yml index 92f68d1..2afe232 100644 --- a/.github/workflows/build-pdf-and-html.yml +++ b/.github/workflows/build-pdf-and-html.yml @@ -79,7 +79,7 @@ jobs: # Create a draft release with generated files - name: Create Draft Release - if: github.event_name == 'push' && (github.ref == 'refs/heads/main' || github.ref == 'refs/heads/asciidoc') + if: (github.event_name == 'push' && (github.ref == 'refs/heads/main' || github.ref == 'refs/heads/asciidoc')) || (github.event.pull_request.merged == true && (github.event.pull_request.base.ref == 'main' || github.event.pull_request.base.ref == 'asciidoc')) uses: softprops/action-gh-release@v1 with: draft: true |