Skip to content

updates for infotheo 0.9 #539

updates for infotheo 0.9

updates for infotheo 0.9 #539

Triggered via pull request February 7, 2025 20:55
@t6st6s
synchronize #151
infotheo_0_9
Status Failure
Total duration 24m 39s
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#L1227
No bound key for scope R_scope.
build (mathcomp/mathcomp:2.3.0-coq-8.19): theories/core/hierarchy.v#L1227
No bound key for scope R_scope.
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 _ -> _ }"