diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index cccfaeec0..56d879ffb 100644
--- 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: