Skip to content
Nix CI for bundle coq-8.20

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

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 #331

Annotations

1 warning

mathcomp-reals-stdlib

mathcomp-reals-stdlib
succeeded Jan 23, 2025 in 1m 53s