Merge pull request #109 from math-comp/function_scope #54

Sign in to view logs

Triggered via push December 8, 2023 15:36

pi8027

master

Status Success

Total duration 2m 59s

Artifacts –

docker-action.yml

on: push

Matrix: build

Annotations

2 warnings

build (mathcomp/mathcomp-dev:coq-dev): finmap.v#L6

Overwriting previous delimiting key nat in scope nat_scope

build (mathcomp/mathcomp-dev:coq-dev): multiset.v#L8

Overwriting previous delimiting key nat in scope nat_scope