Skip to content
Docker CI

consistently require-import all_ssreflect instead of pieces of it #7

Sign in to view logs

consistently require-import all_ssreflect instead of pieces of it

consistently require-import all_ssreflect instead of pieces of it #7

Annotations

11 warnings

build (mathcomp/mathcomp:1.17.0-coq-8.16)

build (mathcomp/mathcomp:1.17.0-coq-8.16)
succeeded Nov 17, 2024 in 3m 53s