Skip to content
CI

Fix coq version in opam config. #16

Sign in to view logs

Fix coq version in opam config.

Fix coq version in opam config. #16

Annotations

3 errors

test (coqorg/coq:8.17)

test (coqorg/coq:8.17)
cancelled Dec 19, 2024 in 2m 2s