Skip to content
CI

Add CI to check project builds #1

Sign in to view logs

Add CI to check project builds

Add CI to check project builds #1

Triggered via push February 5, 2026 18:04
@BoardersBoarders
pushed ff19cc4
main
Status Failure
Total duration 1m 46s
Artifacts –

ci.yml

on: push
Build CategoryTheory
1m 43s
Build CategoryTheory
Fit to window
Zoom out
Zoom in

Annotations

2 errors
Build CategoryTheory
Process completed with exit code 1.
Build CategoryTheory
lake build failed