Merge pull request #252 from arnoudvanderleer/fix-ci · UniMath/TypeTheory@014757b

Triggered via push February 15, 2025 17:20

master

Status Failure

Total duration 4m 23s

Artifacts –

build-typetheory.yml

on: push

Matrix: build-typetheory

2 errors and 7 warnings

Unknown scope delimiting key _nat.

Unknown scope delimiting key _nat.

"From Coq" has been replaced by "From Stdlib".

"From Coq" has been replaced by "From Stdlib".

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

Closed notations (i.e. starting and ending with a terminal symbol)

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

disp_nat_z_iso_to_trans does not respect the uniform inheritance

disp_nat_z_iso_to_trans does not respect the uniform inheritance