diff --git a/.github/workflows/code.yml b/.github/workflows/code.yml
new file mode 100644
index 0000000..93537f0
--- /dev/null
+++ b/.github/workflows/code.yml
@@ -0,0 +1,22 @@
+name: Tests
+
+on: [push]
+
+jobs:
+  compile:
+    name: Compile the tutorial
+    runs-on: ubuntu-latest
+    container: ocaml/opam:debian
+    steps:
+      - name: pin frama-c
+        run: opam pin frama-c --dev-repo
+      - name: install frama-c
+        run: opam install frama-c
+      - name: install z3
+        run: apt install z3
+      - name: configure Why3
+        run: why3 config detect
+      - name: retrieve sources
+        uses: actions/checkout@v4
+      - name: tests
+        run: cd code && make prepare-tests && make run-tests