Skip to content
Build TypeTheory

Build TypeTheory #177

Sign in to view logs

Build TypeTheory

Build TypeTheory #177

Triggered via schedule January 1, 2024 03:08
@benediktahrensbenediktahrens
⁠ 3dfd601
master
Status Success
Total duration 4m 31s
Artifacts –

build-typetheory.yml

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

Annotations

20 warnings
Build with latest
Overwriting previous delimiting key cat in scope cat
Build with latest
Overwriting previous delimiting key cat in scope cat
Build with latest
Overwriting previous delimiting key cat in scope cat
Build with latest
Overwriting previous delimiting key cat in scope cat
Build with latest
Overwriting previous delimiting key cat in scope cat
Build with latest
Overwriting previous delimiting key cat in scope cat
Build with latest
Overwriting previous delimiting key cat in scope cat
Build with latest
Overwriting previous delimiting key cat in scope cat
Build with latest
Overwriting previous delimiting key cat in scope cat
Build with latest
Overwriting previous delimiting key cat in scope cat
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