CI

Address warnings #19

Sign in to view logs

Triggered via push February 27, 2025 08:28

proux01

master

Status Success

Total duration 6m 13s

Artifacts –

coq-action.yml

on: push

Matrix: build

Annotations

3 warnings

build (mathcomp/mathcomp:2.3.0-coq-8.20): complete_dioid.v#L61

Postfix notations (i.e. starting with a nonterminal symbol and

build (mathcomp/mathcomp:2.3.0-coq-8.20): complete_dioid.v#L61

Notations "_ ^+ _" defined at level 29 with arguments constr

build (mathcomp/mathcomp:2.3.0-coq-8.20): complete_dioid.v#L62

Postfix notations (i.e. starting with a nonterminal symbol and