Skip to content

Adapt to https://github.com/math-comp/math-comp/pull/1110 #51

Adapt to https://github.com/math-comp/math-comp/pull/1110

Adapt to https://github.com/math-comp/math-comp/pull/1110 #51

Triggered via pull request November 7, 2023 09:34
Status Success
Total duration 44m 46s
Artifacts

docker-action.yml

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

Annotations

5 warnings
build (mathcomp/mathcomp-dev:coq-dev): theories/ordinals/sset16a.v#L8
Hiding binding of key N to N_scope
build (mathcomp/mathcomp-dev:coq-dev): theories/stern/stern.v#L17
Hiding binding of key N to nat_scope
build (mathcomp/mathcomp-dev:coq-dev): theories/stern/stern.v#L17
Hiding binding of key Z to int_scope
build (mathcomp/mathcomp-dev:coq-dev): theories/stern/stern.v#L27
Hiding binding of key Z to Z_scope
build (mathcomp/mathcomp-dev:coq-dev): theories/stern/stern.v#L28
Hiding binding of key N to N_scope