Skip to content
CI

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

Sign in to view logs

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

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

Annotations

11 warnings

docker (coqorg/coq:dev)

docker (coqorg/coq:dev)
failed Jan 23, 2025 in 6m 48s