CI · UniMath/Schools@752abd3

Triggered via schedule November 28, 2024 05:43

master

Status Success

Total duration 3m 32s

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.