Try that

.github/workflows/pdfs.yml → .github/workflows/ci.yml

@@ -1,4 +1,4 @@
-name: PDFs
+name: CI
 
 on: [push]
 
@@ -32,3 +32,13 @@ jobs:
         with:
           name: frama-c-wp-tutoriel-fr.pdf
           path: french/main.pdf
+
+  check-examples:
+    name: Check examples
+    runs-on: ubuntu-latest
+    container: allanblanchardgh/tutoriel_wp:frama-c
+    steps:
+      - name: retrieve sources
+        uses: actions/checkout@v4
+      - name: compile
+        run: opam exec -- make -C code