Another way to adapt to math-comp#1300 #962
Annotations
11 warnings
|
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
Run coq-community/docker-coq-action@v1
has_floor_max is declared opaque (Qed) but this is not fully
|
|
Run coq-community/docker-coq-action@v1
Rle_refl is declared opaque (Qed) but this is not fully respected
|
|
Run coq-community/docker-coq-action@v1
Rle_trans is declared opaque (Qed) but this is not fully respected
|
|
Run coq-community/docker-coq-action@v1
Rsup_ub is declared opaque (Qed) but this is not fully respected
|
|
Run coq-community/docker-coq-action@v1
Rsup_total is declared opaque (Qed) but this is not fully respected
|
|
Run coq-community/docker-coq-action@v1
Radd_mono is declared opaque (Qed) but this is not fully respected
|
|
Run coq-community/docker-coq-action@v1
Rmul_mono is declared opaque (Qed) but this is not fully respected
|
|
Run coq-community/docker-coq-action@v1
Radd0 is declared opaque (Qed) but this is not fully respected
|
|
Run coq-community/docker-coq-action@v1
RaddC is declared opaque (Qed) but this is not fully respected
|
|
Run coq-community/docker-coq-action@v1
RaddA is declared opaque (Qed) but this is not fully respected
|
Loading