Docker CI · coq-community/graph-theory@a43f7cb

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

Notation sub is deprecated since mathcomp 2.0.0. Use Sub instead.

Notation sub is deprecated since mathcomp 2.0.0. Use Sub instead.

Cast types are ignored in patterns

rel_sym is declared opaque (Qed) but this is not fully respected

rel01 is declared opaque (Qed) but this is not fully respected

rel11 is declared opaque (Qed) but this is not fully respected

tm_eqv_eqv is declared opaque (Qed) but this is not fully respected

dis_pq is declared opaque (Qed) but this is not fully respected

irr_p is declared opaque (Qed) but this is not fully respected

irr_q is declared opaque (Qed) but this is not fully respected

Provide feedback