Skip to content

updates for infotheo 0.9 #535

updates for infotheo 0.9

updates for infotheo 0.9 #535

Triggered via pull request February 4, 2025 20:13
Status Failure
Total duration 24m 2s
Artifacts

docker-action.yml

on: pull_request
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

2 errors and 3 warnings
build (mathcomp/mathcomp:2.3.0-coq-8.20): theories/core/hierarchy.v#L1277
Unknown scope delimiting key R.
build (mathcomp/mathcomp:2.3.0-coq-8.19): theories/core/hierarchy.v#L1277
Unknown scope delimiting key R.
build (mathcomp/mathcomp:2.3.0-coq-8.20): theories/core/hierarchy.v#L1227
Notations "{ ' _ | _ }" defined at level 0 and "{ affine _ -> _ }"
build (mathcomp/mathcomp:2.3.0-coq-8.20): theories/core/hierarchy.v#L1227
Notations "{ ' _ | _ }" defined at level 0 and "{ convex _ -> _ }"
build (mathcomp/mathcomp:2.3.0-coq-8.20): theories/core/hierarchy.v#L1227
Notations "{ ' _ | _ }" defined at level 0 and "{ concave _ -> _ }"