Skip to content
Build TypeTheory

Build TypeTheory #180

Sign in to view logs

Build TypeTheory

Build TypeTheory #180

Triggered via schedule January 22, 2024 03:08
@benediktahrensbenediktahrens
⁠ 3dfd601
master
Status Success
Total duration 4m 56s
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