Back to pull request #110

Update meta.yml #52

Sign in to view logs

Triggered via pull request December 7, 2023 16:25

pi8027

synchronize #110

ci

Status Success

Total duration 3m 1s

Artifacts –

docker-action.yml

on: pull_request

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