add back the tests

snapdgn · Jun 13, 2024 · 742f072 · 742f072
1 parent 7b3d585
commit 742f072
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -53,6 +53,11 @@ jobs:
         opam pin --yes --no-action add .
         opam install sail --yes
 
+    - name: Test Sail
+      run: |
+        eval $(opam env)
+        etc/ci_core_tests.sh
+
     - name: Checkout `sail-riscv` repo
       uses: actions/checkout@v3
       with: