Skip to content
Build TypeTheory

Build TypeTheory #26

Sign in to view logs

Build TypeTheory

Build TypeTheory #26

Triggered via schedule August 21, 2023 03:10
@rmatthesrmatthes
⁠ 7205f8b
master
Status Success
Total duration 7m 17s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

build-typetheory.yml

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

Annotations

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