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

1 warning

test (coqorg/coq:8.20)

test (coqorg/coq:8.20)
failed Dec 19, 2024 in 1m 49s