Build largecatmodules · UniMath/largecatmodules@b6943b9

Triggered via schedule July 24, 2023 03:13

m-lindgren

master

Status Success

Total duration 10m 45s

Artifacts –

blank.yml

on: schedule

Matrix: build-largecatmodules

11 warnings

Overwriting previous delimiting key cat in scope cat

Overwriting previous delimiting key cat in scope cat

disp_nat_z_iso_to_trans does not respect the uniform inheritance

Overwriting previous delimiting key cat in scope cat

Overwriting previous delimiting key cat in scope cat

Overwriting previous delimiting key cat in scope cat

Overwriting previous delimiting key cat in scope cat

Overwriting previous delimiting key cat in scope cat

Overwriting previous delimiting key cat in scope cat

Overwriting previous delimiting key cat in scope cat

disp_nat_z_iso_to_trans does not respect the uniform inheritance