Browse Source

Merge pull request #1260 from patrick-rivos/enable-rv32-ci

Enable rv32gc make-report newlib and linux testing
pull/1264/head 2023.05.31
Kito Cheng 3 years ago
committed by GitHub
parent
commit
eb1ee1b149
No known key found for this signature in database GPG Key ID: 4AEE18F83AFDEB23
  1. 1
      .github/workflows/build.yaml

1
.github/workflows/build.yaml

@ -40,7 +40,6 @@ jobs:
if: |
matrix.os == 'ubuntu-20.04'
&& (matrix.mode == 'linux' || matrix.mode == 'newlib')
&& matrix.target == 'rv64gc-lp64d'
run: |
sudo make report-${{ matrix.mode }} -j $(nproc)

Loading…
Cancel
Save