Skip to content

Merge pull request #244 from MichaelBell/fix-rv32e #7

Merge pull request #244 from MichaelBell/fix-rv32e

Merge pull request #244 from MichaelBell/fix-rv32e #7

Workflow file for this run

on:
push:
pull_request:
workflow_dispatch:
jobs:
riscv-formal:
runs-on: ubuntu-latest
steps:
- name: Checkout picorv32.v
uses: actions/checkout@v4
with:
sparse-checkout: |
picorv32.v
sparse-checkout-cone-mode: false
- name: Checkout riscv-formal
uses: actions/checkout@v4
with:
repository: YosysHQ/riscv-formal
path: riscv-formal
- name: cp picorv32.v
run: |
cp picorv32.v -t riscv-formal/cores/picorv32
- uses: YosysHQ/setup-oss-cad-suite@v3
with:
github-token: ${{ secrets.GITHUB_TOKEN }}
- name: make checks
run: |
cd riscv-formal/cores/picorv32
make checks -j$(nproc)
- name: make check
run: |
cd riscv-formal/cores/picorv32
make check