From fc9ef0c8c848ee4f5de1779c6987f5f5770e3aff Mon Sep 17 00:00:00 2001
From: Yiyun Liu <liuyiyun@seas.upenn.edu>
Date: Tue, 8 Jul 2025 13:07:07 -0400
Subject: [PATCH] Downgrade rocq version because CI is broken

---
 .woodpecker.yaml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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