diff --git a/.github/workflows/docker-action.yml b/.github/workflows/docker-action.yml
index e523a91..0a13570 100644
--- a/.github/workflows/docker-action.yml
+++ b/.github/workflows/docker-action.yml
@@ -19,7 +19,7 @@ jobs:
         image:
           - 'coqorg/coq:8.9'
           - 'coqorg/coq:8.11'
-          - 'coqorg/coq:8.12'
+          - 'coqorg/coq:8.12-ocaml-4.11-flambda'
           - 'coqorg/coq:8.13'
           - 'coqorg/coq:8.14'
           - 'coqorg/coq:8.15'
diff --git a/meta.yml b/meta.yml
index e8bb9a2..d748e77 100644
--- a/meta.yml
+++ b/meta.yml
@@ -35,7 +35,7 @@ supported_coq_versions:
 tested_coq_opam_versions:
   - version: '8.9'
   - version: '8.11'
-  - version: '8.12'
+  - version: '8.12-ocaml-4.11-flambda'
   - version: '8.13'
   - version: '8.14'
   - version: '8.15'