Skip to content
Build TypeTheory

Build TypeTheory #172

Sign in to view logs

Build TypeTheory

Build TypeTheory #172

Triggered via schedule November 27, 2023 03:07
@benediktahrensbenediktahrens
⁠ 3dfd601
master
Status Success
Total duration 4m 32s
Artifacts –

build-typetheory.yml

on: schedule
Matrix: build-typetheory
Fit to window
Zoom out
Zoom in

Annotations

10 warnings
Build with dev
The '%' scope delimiter in 'Arguments' commands is deprecated, use
Build with dev
Declaring arbitrary terms as hints is fragile; it is recommended to
Build with dev
Declaring arbitrary terms as hints is fragile; it is recommended to
Build with dev
Overwriting previous delimiting key cat in scope cat
Build with dev
Overwriting previous delimiting key cat in scope cat
Build with dev
Overwriting previous delimiting key cat in scope cat
Build with dev
Overwriting previous delimiting key cat in scope cat
Build with dev
Overwriting previous delimiting key cat in scope cat
Build with dev
Overwriting previous delimiting key cat in scope cat
Build with dev
Overwriting previous delimiting key cat in scope cat