CI · UniMath/Schools@752abd3

Triggered via schedule September 12, 2024 05:40

master

Status Success

Total duration 3m 37s

Artifacts –

build-schools.yml

on: schedule

Matrix: build

10 warnings

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

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

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

The '%' scope delimiter in 'Arguments' commands is deprecated, use

Not considering unicode character "̂" of unknown lexical status as

Not considering unicode character "̂" of unknown lexical status as

Notation gradth is deprecated. Use isweq_iso instead.

Notation gradth is deprecated. Use isweq_iso instead.