Run the sysfail example in CI

mirage · Nov 26, 2024 · 50d4d0b · 50d4d0b
1 parent 98b4cbe
commit 50d4d0b
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -23,6 +23,11 @@ jobs:
       run: MODE=spt opam exec -- dune build --root example
     - name: Run example with spt
       run: opam exec -- solo5-spt example/_build/solo5/main.exe
+    - name: Compile a failing example with spt
+      run: MODE=spt SOLO5TEST=sysfail opam exec -- dune build --root example
+    - name: Run a failing example with spt
+      run: |
+        ! opam exec -- solo5-spt example/_build/solo5/main.exe
     - name: Compile example with virtio
       run: MODE=virtio opam exec -- dune build --root example
     - name: Compile example with muen