fix ci risc0

taikoxyz · May 4, 2024 · 94d8d37 · 94d8d37
1 parent c379519
commit 94d8d37
Showing 1 changed file with 6 additions and 4 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -26,8 +26,9 @@ jobs:
         submodules: recursive
     - run: scripts/toolchain-before.sh risc0
     - run: scripts/toolchain.sh risc0
-    - run: echo "export CC=gcc"  >> $GITHUB_ENV
-    - run: echo "export CC_riscv32im_risc0_zkvm_elf=/tmp/riscv/bin/riscv32-unknown-elf-gcc" >> $GITHUB_ENV
+    - env:
+      CC: gcc
+      CC_riscv32im_risc0_zkvm_elf: /tmp/riscv/bin/riscv32-unknown-elf-gcc
     - uses: actions-rs/toolchain@v1
       with:
         profile: minimal
@@ -51,8 +52,9 @@ jobs:
         with:
           profile: minimal
       - run: scripts/toolchain.sh sp1
-      - run: echo "export CC=gcc"  >> $GITHUB_ENV
-      - run: echo "export CC_riscv32im_succinct_zkvm_elf=/tmp/riscv/bin/riscv32-unknown-elf-gcc" >> $GITHUB_ENV
+      - env:
+        CC: gcc
+        CC_riscv32im_succinct_zkvm_elf: /tmp/riscv/bin/riscv32-unknown-elf-gcc
       - run: scripts/toolchain-after.sh sp1
       - name: Setup and build
         run: |