Merge pull request #16 from coq-community/mc_1110 #52

Sign in to view logs

Triggered via push November 7, 2023 10:22

proux01

master

Status Success

Total duration 32m 43s

Artifacts –

docker-action.yml

on: push

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