yiyunliu/sp-eta-postpone
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Downgrade rocq version because CI is broken
All checks were successful
ci/woodpecker/push/woodpecker Pipeline was successful
Details

Browse source
This commit is contained in:
Yiyun Liu 2025-07-08 13:07:07 -04:00
parent 38d60ff43e
commit fc9ef0c8c8
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
.woodpecker.yaml
View file

@ -4,7 +4,7 @@ when:
steps: steps:
- name: build - 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: commands:
- opam update - opam update
- opam install -y coq-hammer-tactics coq-equations coq-stdpp coq-autosubst-ocaml - opam install -y coq-hammer-tactics coq-equations coq-stdpp coq-autosubst-ocaml