diff options
Diffstat (limited to '.github/workflows/compile.yml')
| -rw-r--r-- | .github/workflows/compile.yml | 26 |
1 files changed, 18 insertions, 8 deletions
diff --git a/.github/workflows/compile.yml b/.github/workflows/compile.yml index 48bd305..8ef4ca8 100644 --- a/.github/workflows/compile.yml +++ b/.github/workflows/compile.yml @@ -6,10 +6,10 @@ jobs: build: runs-on: [ubuntu-18.04] steps: - - name: Install opam2 - run: | - sudo add-apt-repository -y ppa:avsm/ppa - sudo apt install -y opam zlib1g-dev pkg-config libgmp-dev z3 + - name: Add opam2 PPA + run: sudo add-apt-repository -y ppa:avsm/ppa + - name: Install packages + run: sudo apt install -y opam zlib1g-dev pkg-config libgmp-dev z3 device-tree-compiler - name: Init opam run: opam init --disable-sandboxing -y - name: Install sail @@ -18,7 +18,17 @@ jobs: uses: actions/checkout@HEAD with: submodules: true - - name: Build RV32 simulators - run: eval $(opam env) && make ARCH=RV32 -j2 csim rvfi osim - - name: Build RV64 simulators - run: eval $(opam env) && make ARCH=RV64 -j2 csim rvfi osim + - name: Build and test simulators + run: eval $(opam env) && test/run_tests.sh + - name: Upload test results + if: always() + uses: actions/upload-artifact@v2 + with: + name: tests.xml + path: test/tests.xml + - name: Upload event payload + if: always() + uses: actions/upload-artifact@v2 + with: + name: event.json + path: ${{ github.event_path }} |