Docker CI

Merge pull request #17 from coq-community/function_scope #54

Sign in to view logs

Triggered via push December 8, 2023 13:36

pi8027

master

Status Success

Total duration 10m 8s

Artifacts –

docker-action.yml

on: push

Matrix: build

Annotations

25 warnings

build (mathcomp/mathcomp:2.1.0-coq-8.18): theories/ordinals/sset16a.v#L8

Hiding binding of key N to N_scope

build (mathcomp/mathcomp:2.1.0-coq-8.18): theories/stern/stern.v#L17

Hiding binding of key N to nat_scope

build (mathcomp/mathcomp:2.1.0-coq-8.18): theories/stern/stern.v#L17

Hiding binding of key Z to int_scope

build (mathcomp/mathcomp:2.1.0-coq-8.18): theories/stern/stern.v#L27

Hiding binding of key Z to Z_scope

build (mathcomp/mathcomp:2.1.0-coq-8.18): theories/stern/stern.v#L28

Hiding binding of key N to N_scope

build (mathcomp/mathcomp:2.0.0-coq-8.18): theories/ordinals/sset16a.v#L8

Hiding binding of key N to N_scope

build (mathcomp/mathcomp:2.0.0-coq-8.18): theories/stern/stern.v#L17

Hiding binding of key N to nat_scope

build (mathcomp/mathcomp:2.0.0-coq-8.18): theories/stern/stern.v#L17

Hiding binding of key Z to int_scope

build (mathcomp/mathcomp:2.0.0-coq-8.18): theories/stern/stern.v#L27

Hiding binding of key Z to Z_scope

build (mathcomp/mathcomp:2.0.0-coq-8.18): theories/stern/stern.v#L28

Hiding binding of key N to N_scope

build (mathcomp/mathcomp-dev:coq-8.18): theories/ordinals/sset16a.v#L8

Hiding binding of key N to N_scope

build (mathcomp/mathcomp-dev:coq-8.18): theories/stern/stern.v#L17

Hiding binding of key N to nat_scope

build (mathcomp/mathcomp-dev:coq-8.18): theories/stern/stern.v#L17

Hiding binding of key Z to int_scope

build (mathcomp/mathcomp-dev:coq-8.18): theories/stern/stern.v#L27

Hiding binding of key Z to Z_scope

build (mathcomp/mathcomp-dev:coq-8.18): theories/stern/stern.v#L28

Hiding binding of key N to N_scope

build (mathcomp/mathcomp-dev:coq-dev): theories/sets/sset1.v#L7

Overwriting previous delimiting key nat in scope nat_scope

build (mathcomp/mathcomp-dev:coq-dev): theories/sets/sset2.v#L7

Overwriting previous delimiting key nat in scope nat_scope

build (mathcomp/mathcomp-dev:coq-dev): theories/sets/sset3.v#L5

Overwriting previous delimiting key nat in scope nat_scope

build (mathcomp/mathcomp-dev:coq-dev): theories/sets/sset2_aux.v#L7

Overwriting previous delimiting key nat in scope nat_scope

build (mathcomp/mathcomp-dev:coq-dev): theories/sets/sset4.v#L7

Overwriting previous delimiting key nat in scope nat_scope

build (mathcomp/mathcomp-dev:coq-dev): theories/sets/ssete1.v#L6

Overwriting previous delimiting key nat in scope nat_scope

build (mathcomp/mathcomp-dev:coq-dev): theories/sets/sset5.v#L7

Overwriting previous delimiting key nat in scope nat_scope

build (mathcomp/mathcomp-dev:coq-dev): theories/sets/sset6.v#L6

Overwriting previous delimiting key nat in scope nat_scope

build (mathcomp/mathcomp-dev:coq-dev): theories/sets/sset7.v#L7

Overwriting previous delimiting key nat in scope nat_scope

build (mathcomp/mathcomp-dev:coq-dev): theories/sets/sset8.v#L7

Overwriting previous delimiting key nat in scope nat_scope