From 50a342fe9c08230ad75b0e730df46ec50f74c7ca Mon Sep 17 00:00:00 2001 From: Brendan Haines Date: Mon, 25 Aug 2025 21:43:44 -0600 Subject: [PATCH] switch to a newer riscv toolchain image with a Dockerfile I can edit if I ever want --- .github/workflows/build.yml | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index b617894..89ed4de 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -5,15 +5,13 @@ jobs: name: Build C code runs-on: ubuntu-latest container: - image: plincar/riscv-gnu-toolchain:2023_03_12 + image: runtimeverificationinc/riscv-gnu-toolchain:ubuntu-jammy-2024.04.12 # volumes: # - my_docker_volume:/volume_mount steps: - uses: actions/checkout@v4 - name: Check for executables run: | - # this really should have been added to path at install time when the container was made - export PATH=$PATH:/opt/riscv/gnu-toolchain/rv64/bin riscv64-unknown-elf-gcc --version - name: Build run: | @@ -21,5 +19,4 @@ jobs: # ls -lah # cat Makefile # make test.hex - export PATH=$PATH:/opt/riscv/gnu-toolchain/rv64/bin riscv64-unknown-elf-as -march=rv32i -mabi=ilp32 test.S -o test.o