Skip to content
Build TypeTheory

Build TypeTheory #208

Sign in to view logs

Build TypeTheory

Build TypeTheory #208

Triggered via schedule February 10, 2025 03:26
@peterlefanulumsdainepeterlefanulumsdaine
⁠ 39b2adc
master
Status Failure
Total duration 1m 34s
Artifacts –

build-typetheory.yml

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

Annotations

2 errors
Build with 8.16
Unknown scope delimiting key _nat.
Build with 8.16
Unknown scope delimiting key _nat.