Update ci to use make --jobs

This commit is contained in:
Jordan Carlin 2024-09-30 08:07:35 -07:00
parent 59ee4cf7e4
commit 905521ef0f
No known key found for this signature in database

View File

@ -32,7 +32,7 @@ jobs:
- name: make tests - name: make tests
run: | run: |
source setup.sh source setup.sh
make riscof make riscof --jobs $(nproc --ignore 1)
- name: regression - name: regression
run: | run: |
source setup.sh source setup.sh
@ -85,7 +85,7 @@ jobs:
- name: make tests - name: make tests
run: | run: |
source setup.sh source setup.sh
make riscof make riscof --jobs $(nproc --ignore 1)
- name: regression - name: regression
run: | run: |
source setup.sh source setup.sh
@ -123,7 +123,7 @@ jobs:
- name: make tests - name: make tests
run: | run: |
source setup.sh source setup.sh
make riscof make riscof --jobs $(nproc --ignore 1)
- name: regression - name: regression
run: | run: |
source setup.sh source setup.sh
@ -170,7 +170,7 @@ jobs:
- name: make tests - name: make tests
run: | run: |
source setup.sh source setup.sh
make riscof make riscof --jobs $(nproc --ignore 1)
- name: regression - name: regression
run: | run: |
source setup.sh source setup.sh