fix(ci.yml): Use `coqorg/coq:8.20` as a future-proof image name#752

Merged

gares merged 1 commit intoLPCIC:masterfrom erikmd:patch-1

Jan 23, 2025

Commits on Jan 23, 2025

fix(ci.yml): Use coqorg/coq:8.20 as a future-proof image name
erikmd
authored