diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 4100672..704132e 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -12,7 +12,7 @@ jobs:
         with:
           opam_file: 'coq-tactician-stdlib.opam'
           coq_version: '8.13'
-          ocaml_version: '4.11-flambda'
+          ocaml_version: '4.13-flambda'
           install: |
             startGroup "Install dependencies"
               opam repo add coq-extra-dev https://coq.inria.fr/opam/extra-dev