Skip to content
CI

use coq.coercion.class as the type of coercion classes #480

Sign in to view logs

use coq.coercion.class as the type of coercion classes

use coq.coercion.class as the type of coercion classes #480

Annotations

10 warnings

docker (coqorg/coq:8.20, dev)

docker (coqorg/coq:8.20, dev)
succeeded Oct 17, 2025 in 4m 44s