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

2 errors

test (coqorg/coq:8.18)

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