Build TypeTheory · UniMath/TypeTheory@39b2adc

Triggered via schedule January 27, 2025 03:23

master

Status Failure

Total duration 4m 32s

Artifacts –

build-typetheory.yml

on: schedule

Matrix: build-typetheory

2 errors and 10 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

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