verify installation

dprint · Dec 2, 2024 · 80d2bcf · 80d2bcf
1 parent 5cc005c
commit 80d2bcf
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git a/.github/workflows/ci.generate.ts b/.github/workflows/ci.generate.ts
@@ -130,6 +130,7 @@ const ci = {
             "sudo apt update",
             "sudo apt-get install gcc-riscv64-linux-gnu g++-riscv64-linux-gnu libc6-dev-riscv64-cross",
             "rustup target add riscv64gc-unknown-linux-gnu",
+            "which riscv64-unknown-linux-gnu-gcc"
           ].join("\n"),
         },
         {

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -87,6 +87,7 @@ jobs:
           sudo apt update
           sudo apt-get install gcc-riscv64-linux-gnu g++-riscv64-linux-gnu libc6-dev-riscv64-cross
           rustup target add riscv64gc-unknown-linux-gnu
+          which riscv64-unknown-linux-gnu-gcc
       - name: Build (Debug)
         if: '!startsWith(github.ref, ''refs/tags/'')'
         env: