Skip to content

[Dependabot]: Bump riscv-arch-test from 1498e95 to a7b7cd0 #538

[Dependabot]: Bump riscv-arch-test from 1498e95 to a7b7cd0

[Dependabot]: Bump riscv-arch-test from 1498e95 to a7b7cd0 #538

Workflow file for this run

name: NEORV32 RISCOF Verification
on:
push:
workflow_dispatch:
jobs:
neorv32-verification:
runs-on: ubuntu-20.04
steps:
- name: '📂 Repository checkout'
uses: actions/checkout@v4
with:
fetch-depth: 0
submodules: recursive
- name: '📦 Install RISC-V GCC'
run: |
wget -q https://github.com/stnolting/riscv-gcc-prebuilt/releases/download/rv32i-131023/riscv32-unknown-elf.gcc-13.2.0.tar.gz
mkdir $GITHUB_WORKSPACE/riscv-gcc
tar -xzf riscv32-unknown-elf.gcc-13.2.0.tar.gz -C $GITHUB_WORKSPACE/riscv-gcc
echo $GITHUB_WORKSPACE/riscv-gcc/bin >> $GITHUB_PATH
- name: '📦 Install Sail RISC-V model'
run: |
mkdir $GITHUB_WORKSPACE/sail-riscv
tar -xzf $GITHUB_WORKSPACE/bin/sail-riscv.tar.gz -C $GITHUB_WORKSPACE/sail-riscv
echo $GITHUB_WORKSPACE/sail-riscv >> $GITHUB_PATH
- name: '📦 Install RISCOF'
run: pip3 install git+https://github.com/riscv/riscof.git
- name: '📦 Install GHDL'
uses: ghdl/setup-ghdl-ci@nightly
- name: '🔍 Check tools'
run: |
riscv32-unknown-elf-gcc -v
riscv_sim_RV32 -h
riscof --version
ghdl -v
- name: '⚙️ Run verification framework'
run: /bin/bash -c "chmod u+x $GITHUB_WORKSPACE/run.sh && $GITHUB_WORKSPACE/run.sh"
- name: '📤 Archive test report'
uses: actions/upload-artifact@v4
with:
name: test_report
path: |
riscof_work/report.html
riscof_work/style.css