diff options
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/isa-build.yml | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/.github/workflows/isa-build.yml b/.github/workflows/isa-build.yml index 66e7401..3a03f40 100644 --- a/.github/workflows/isa-build.yml +++ b/.github/workflows/isa-build.yml @@ -29,6 +29,8 @@ jobs: # 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 @@ -43,8 +45,7 @@ jobs: # 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 + run: docker pull riscvintl/riscv-docs-base-container-image:latest # Build PDF and HTML files using the container - name: Build Files @@ -52,7 +53,7 @@ jobs: 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 'export LANG=C.utf8; cd ./build && make' + /bin/sh -c 'export LANG=C.utf8; make' # Upload the riscv-privileged PDF file - name: Upload riscv-privileged.pdf @@ -127,4 +128,4 @@ jobs: ${{ github.workspace }}/build/riscv-unprivileged.epub env: GITHUB_TOKEN: ${{ secrets.GHTOKEN }} - +
\ No newline at end of file |