diff --git a/.github/workflows/check_correctness.yml b/.github/workflows/check_correctness.yml
index 2089093a9..e71e16d4d 100644
--- a/.github/workflows/check_correctness.yml
+++ b/.github/workflows/check_correctness.yml
@@ -68,6 +68,12 @@ jobs:
           eval $(opam env)
           make test_java_backend
 
+      - name: Test Ocaml backend
+        run: |
+          eval $(opam env)
+          make test_ocaml_backend
+          
+
 
 
 
diff --git a/Makefile b/Makefile
index 8dd21bbf6..d51f6d303 100644
--- a/Makefile
+++ b/Makefile
@@ -74,10 +74,13 @@ endif
 test_dgfip_c_backend:
 	$(MAKE) -C examples/dgfip_c/ backend_tests
 
+test_ocaml_backend:
+	$(MAKE) -C examples/ocaml/ run_tests
+
 quick_test:
 	$(MLANG) --backend interpreter --function_spec $(M_SPEC_FILE) $(SOURCE_FILES)
 
-all: tests test_java_backend test_dgfip_c_backend quick_test
+all: tests test_java_backend test_dgfip_c_backend test_ocaml_backend quick_test
 
 ##################################################
 # Doc
@@ -90,6 +93,7 @@ doc: FORCE
 clean:
 	$(MAKE) -C examples/dgfip_c clean
 	$(MAKE) -C examples/java clean
+	$(MAKE) -C examples/ocaml clean
 	dune clean
 
 FORCE: