Skip to content
Build TypeTheory

Build TypeTheory #31

Sign in to view logs

Build TypeTheory

Build TypeTheory #31

Triggered via schedule September 18, 2023 03:10
@rmatthesrmatthes
⁠ 3dfd601
master
Status Success
Total duration 6m 39s
Artifacts –

build-typetheory.yml

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

Annotations

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