aboutsummaryrefslogtreecommitdiff
path: root/.github
diff options
context:
space:
mode:
authorKevin Broch <kbroch@rivosinc.com>2024-06-07 15:54:02 -0700
committerKevin Broch <kbroch@rivosinc.com>2024-06-11 13:33:58 -0700
commit4b300298575c2c80502f1f5d55551ae003905655 (patch)
tree8ff05d7436abf04d9cee07a438e4c0cfb747e4fa /.github
parent353e88f8d5c629be5a42ada8618fcfa9acb5d287 (diff)
downloadriscv-isa-manual-4b300298575c2c80502f1f5d55551ae003905655.zip
riscv-isa-manual-4b300298575c2c80502f1f5d55551ae003905655.tar.gz
riscv-isa-manual-4b300298575c2c80502f1f5d55551ae003905655.tar.bz2
align with build workflow in docs-spec-template
related to #1448 Signed-off-by: Kevin Broch <kbroch@rivosinc.com>
Diffstat (limited to '.github')
-rw-r--r--.github/workflows/isa-build.yml9
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