fixes #113 · math-comp/finmap@ce0fddd

Triggered via pull request December 2, 2024 03:08

opened #114

affeldt-aist:fixes_113

Status Failure

Total duration 3m 35s

Artifacts –

docker-action.yml

on: pull_request

Matrix: build

10 warnings

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

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

Notations "[ fset _ | _ : _ in _ ]" defined at level 0

Notations "[ fset _ | _ in _ ]" defined at level 0 with arguments

Notations "[ fset[ _ ] _ | _ : _ in _ ]" defined at level 0

Notations "[ fset[ _ ] _ | _ in _ ]" defined at level 0

Notations "[ fset[ _ ] _ | _ : _ in _ ]" defined at level 0

Notations "[ f set _ | _ in _ ]" defined at level 0 with arguments

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

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