diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 169f451c6..045490855 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -53,7 +53,12 @@ jobs: opam pin --yes --no-action add . opam install sail --yes - - name: Test Sail + - name: Checkout `sail-riscv` repo + uses: actions/checkout@v3 + with: + repository: ThinkOpenly/sail-riscv + + - name: Validate Json run: | - eval $(opam env) - etc/ci_core_tests.sh + eval $(opam env) + make check-json