Only build riscof tests in installation ci

This commit is contained in:
Jordan Carlin 2024-07-20 11:52:37 -07:00
parent 535ca9535b
commit 9b2aa1ae5f
No known key found for this signature in database

View File

@ -26,7 +26,7 @@ jobs:
- name: make tests
run: |
source setup.sh
make
make riscof
- name: regresssion
run: |
source setup.sh
@ -62,7 +62,7 @@ jobs:
- name: make tests
run: |
source setup.sh
make
make riscof
- name: regresssion
run: |
source setup.sh