Improve c.nop hint description #1611
Workflow file for this run
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| --- | |
| name: RISC-V ISA Build | |
| on: | |
| workflow_dispatch: | |
| inputs: | |
| create_release: | |
| description: Create a new RISC-V ISA release if set to true | |
| required: false | |
| default: 'false' | |
| target_branch: | |
| description: Target Branch | |
| required: true | |
| default: main | |
| release_notes: | |
| description: Release Notes | |
| required: false | |
| push: | |
| branches: | |
| - main | |
| pull_request: | |
| branches: | |
| - main | |
| jobs: | |
| build: | |
| runs-on: ubuntu-latest | |
| steps: | |
| # Checkout the repository | |
| - name: Checkout repository | |
| uses: actions/checkout@v4 | |
| with: | |
| submodules: recursive | |
| # Set the short SHA for use in artifact names | |
| - name: Set short SHA | |
| run: echo "SHORT_SHA=$(echo ${GITHUB_SHA::7})" >> $GITHUB_ENV | |
| # Get the current date | |
| - name: Get current date | |
| run: echo "CURRENT_DATE=$(date +'%Y-%m-%d')" >> $GITHUB_ENV | |
| # Pull the latest RISC-V Docs container image | |
| # https://github.com/riscv/riscv-docs-base-container-image | |
| # https://hub.docker.com/r/riscvintl/riscv-docs-base-container-image | |
| - name: Pull Container | |
| id: pull_container_image | |
| run: docker pull riscvintl/riscv-docs-base-container-image:latest | |
| # Build PDF and HTML files using the container | |
| - name: Build Files | |
| id: build_files | |
| if: steps.pull_container_image.outcome == 'success' | |
| run: | | |
| docker run --rm -v ${{ github.workspace }}:/build riscvintl/riscv-docs-base-container-image:latest \ | |
| /bin/sh -c "make -j$(nproc)" | |
| # Upload the riscv-privileged PDF file | |
| - name: Upload riscv-privileged.pdf | |
| if: steps.build_files.outcome == 'success' | |
| uses: actions/upload-artifact@v4 | |
| with: | |
| name: riscv-privileged-${{ env.SHORT_SHA }}.pdf | |
| path: ${{ github.workspace }}/build/riscv-privileged.pdf | |
| retention-days: 7 | |
| # Upload the riscv-privileged HTML file | |
| - name: Upload riscv-privileged.html | |
| if: steps.build_files.outcome == 'success' | |
| uses: actions/upload-artifact@v4 | |
| with: | |
| name: riscv-privileged-${{ env.SHORT_SHA }}.html | |
| path: ${{ github.workspace }}/build/riscv-privileged.html | |
| retention-days: 7 | |
| # Upload the riscv-privileged EPUB file | |
| - name: Upload riscv-privileged.epub | |
| if: steps.build_files.outcome == 'success' | |
| uses: actions/upload-artifact@v4 | |
| with: | |
| name: riscv-privileged-${{ env.SHORT_SHA }}.epub | |
| path: ${{ github.workspace }}/build/riscv-privileged.epub | |
| retention-days: 7 | |
| # Upload the riscv-unprivileged PDF file | |
| - name: Upload riscv-unprivileged.pdf | |
| if: steps.build_files.outcome == 'success' | |
| uses: actions/upload-artifact@v4 | |
| with: | |
| name: riscv-unprivileged-${{ env.SHORT_SHA }}.pdf | |
| path: ${{ github.workspace }}/build/riscv-unprivileged.pdf | |
| retention-days: 7 | |
| # Upload the riscv-unprivileged HTML file | |
| - name: Upload riscv-unprivileged.html | |
| if: steps.build_files.outcome == 'success' | |
| uses: actions/upload-artifact@v4 | |
| with: | |
| name: riscv-unprivileged-${{ env.SHORT_SHA }}.html | |
| path: ${{ github.workspace }}/build/riscv-unprivileged.html | |
| retention-days: 7 | |
| # Upload the riscv-unprivileged EPUB file | |
| - name: Upload riscv-unprivileged.epub | |
| if: steps.build_files.outcome == 'success' | |
| uses: actions/upload-artifact@v4 | |
| with: | |
| name: riscv-unprivileged-${{ env.SHORT_SHA }}.epub | |
| path: ${{ github.workspace }}/build/riscv-unprivileged.epub | |
| retention-days: 7 | |
| - name: Create Release | |
| if: steps.build_files.outcome == 'success' && github.event_name == 'workflow_dispatch' && github.event.inputs.create_release == 'true' | |
| #uses: softprops/[email protected] | |
| uses: softprops/action-gh-release@da05d552573ad5aba039eaac05058a918a7bf631 | |
| with: | |
| draft: false | |
| tag_name: riscv-isa-release-${{ env.SHORT_SHA }}-${{ env.CURRENT_DATE }} | |
| name: ${{ env.CURRENT_DATE }} | |
| body: | | |
| This release was created by: ${{ github.event.sender.login }} | |
| Release Notes: ${{ github.event.inputs.release_notes }} | |
| files: | | |
| ${{ github.workspace }}/build/riscv-privileged.pdf | |
| ${{ github.workspace }}/build/riscv-privileged.html | |
| ${{ github.workspace }}/build/riscv-privileged.epub | |
| ${{ github.workspace }}/build/riscv-unprivileged.pdf | |
| ${{ github.workspace }}/build/riscv-unprivileged.html | |
| ${{ github.workspace }}/build/riscv-unprivileged.epub | |
| env: | |
| GITHUB_TOKEN: ${{ secrets.GHTOKEN }} | |
| # Create directory structure pages sites for privileged and unprivileged specs. | |
| - name: Make GitHub pages directory | |
| run: | | |
| mkdir -p dist/snapshot/unprivileged dist/snapshot/privileged | |
| cp build/riscv-unprivileged.html dist/snapshot/unprivileged/index.html | |
| cp build/riscv-privileged.html dist/snapshot/privileged/index.html | |
| if: github.event_name == 'workflow_dispatch' || (github.event_name == 'push' && github.ref == 'refs/heads/main') | |
| - name: Upload pages artifact | |
| uses: actions/upload-pages-artifact@v3 | |
| with: | |
| path: dist | |
| if: github.event_name == 'workflow_dispatch' || (github.event_name == 'push' && github.ref == 'refs/heads/main') | |
| # Deploy HTML to GitHub pages. | |
| deploy: | |
| if: github.event_name == 'push' && github.ref == 'refs/heads/main' | |
| needs: build | |
| permissions: | |
| pages: write | |
| id-token: write | |
| environment: | |
| name: github-pages | |
| url: ${{ steps.deployment.outputs.page_url }} | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Deploy to GitHub Pages | |
| id: deployment | |
| uses: actions/deploy-pages@v4 |