Skip to content
Docker CI

Adapt to https://github.com/coq/coq/pull/19530 #52

Sign in to view logs

Adapt to https://github.com/coq/coq/pull/19530

Adapt to https://github.com/coq/coq/pull/19530 #52

Annotations

10 warnings

build (coqorg/coq:8.17)

build (coqorg/coq:8.17)
succeeded Sep 17, 2024 in 7m 53s