Skip to content
Docker CI

Update ci_test_dependants syntax #72

Sign in to view logs

Update ci_test_dependants syntax

Update ci_test_dependants syntax #72

Annotations

10 warnings

build (coqorg/coq:8.12-ocaml-4.10-flambda)

build (coqorg/coq:8.12-ocaml-4.10-flambda)
failed Oct 2, 2025 in 4m 17s