aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAndrew Waterman <andrew@sifive.com>2024-06-24 00:50:08 -0700
committerGitHub <noreply@github.com>2024-06-24 00:50:08 -0700
commitf6103c7a2542db0bbb56c5d96aa588a000e6be9a (patch)
tree2d4355c34efa09d076c0c7ec0a31cf8d64d2c4cf
parentcc3917c7170ba2120bce5841ef6ee593fe9362c2 (diff)
parent8b9e8245343057abce6be7b7b268cfddf8163a00 (diff)
downloadriscv-isa-manual-main.zip
riscv-isa-manual-main.tar.gz
riscv-isa-manual-main.tar.bz2
Merge pull request #1472 from riscv/fix-1449-furtherHEADmain
Fix CI bugs introduced by #1449
-rw-r--r--.github/workflows/isa-build.yml4
-rw-r--r--.github/workflows/merge-and-release.yml2
2 files changed, 3 insertions, 3 deletions
diff --git a/.github/workflows/isa-build.yml b/.github/workflows/isa-build.yml
index 3a03f40..822b095 100644
--- a/.github/workflows/isa-build.yml
+++ b/.github/workflows/isa-build.yml
@@ -53,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; make'
+ /bin/sh -c 'make'
# Upload the riscv-privileged PDF file
- name: Upload riscv-privileged.pdf
@@ -128,4 +128,4 @@ jobs:
${{ github.workspace }}/build/riscv-unprivileged.epub
env:
GITHUB_TOKEN: ${{ secrets.GHTOKEN }}
- \ No newline at end of file
+
diff --git a/.github/workflows/merge-and-release.yml b/.github/workflows/merge-and-release.yml
index 0226546..eb08932 100644
--- a/.github/workflows/merge-and-release.yml
+++ b/.github/workflows/merge-and-release.yml
@@ -33,7 +33,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 'make'
# Upload the riscv-privileged PDF file
- name: Upload riscv-privileged.pdf