diff options
Diffstat (limited to '.github')
-rw-r--r-- | .github/workflows/merge-and-release.yml | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/.github/workflows/merge-and-release.yml b/.github/workflows/merge-and-release.yml index 0fafcc4..2de9268 100644 --- a/.github/workflows/merge-and-release.yml +++ b/.github/workflows/merge-and-release.yml @@ -67,14 +67,6 @@ jobs: name: unpriv-isa-asciidoc-${{ env.SHORT_SHA }}.html path: ${{ github.workspace }}/build/unpriv-isa-asciidoc.html - # Upload the priv-isa-latex PDF file - - name: Upload riscv-privileged.pdf - if: steps.build_files.outcome == 'success' - uses: actions/upload-artifact@v4 - with: - name: riscv-privileged-latex-${{ env.SHORT_SHA }}.pdf - path: ${{ github.workspace }}/build/riscv-privileged.pdf - - name: Create Release uses: softprops/action-gh-release@v1 env: @@ -93,4 +85,3 @@ jobs: ${{ github.workspace }}/build/priv-isa-asciidoc.html ${{ github.workspace }}/build/unpriv-isa-asciidoc.pdf ${{ github.workspace }}/build/unpriv-isa-asciidoc.html - ${{ github.workspace }}/build/riscv-privileged.pdf |