compact with mathcomp-analysis 1.7.0 · affeldt-aist/infotheo@64cf675

Triggered via pull request November 29, 2024 06:54

opened #132

compat_mca170

Status Failure

Total duration 16m 58s

Artifacts –

docker-action.yml

on: pull_request

Matrix: build

4 errors and 5 warnings

Cannot find a physical path bound to logical path

Cannot find a physical path bound to logical path

Cannot find a physical path bound to logical path

Cannot find a physical path bound to logical path

Notations "[ seq _ | _ <- _ ]" defined at level 0 with arguments

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

Notations "\pi ( _ )" defined at level 2 and "\pi"

Notations "[ seq _ | _ <- _ ]" defined at level 0 with arguments

Notations "\pi ( _ )" defined at level 2 and "\pi"