Fix the chown issue · UniMath/TypeTheory@a5f0094

Triggered via pull request February 15, 2025 15:37

opened #252

arnoudvanderleer:fix-ci

Status Failure

Total duration 4m 33s

Artifacts –

build-typetheory.yml

on: pull_request

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