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

Sign in to view logs

Triggered via pull request November 7, 2023 09:34

proux01

opened #16

mc_1110

Status Success

Total duration 44m 46s

Artifacts –

docker-action.yml

on: pull_request

Matrix: build

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