diff --git a/.woodpecker.yaml b/.woodpecker.yaml
index 9726166..13ed549 100644
--- a/.woodpecker.yaml
+++ b/.woodpecker.yaml
@@ -4,7 +4,7 @@ when:
 
 steps:
   - name: build
-    image: coqorg/coq:8.20.1-ocaml-4.14.2-flambda
+    image: coqorg/coq:8.19.2-ocaml-4.14.2-flambda
     commands:
       - opam update
       - opam install -y coq-hammer-tactics coq-equations coq-stdpp coq-autosubst-ocaml