Skip to content
continuous integration

work in progress towards a better proof of naturality #165262

Sign in to view logs

work in progress towards a better proof of naturality

work in progress towards a better proof of naturality #165262

Triggered via push February 12, 2025 22:20
@emilyriehlemilyriehl
pushed a7ef8a1
naturality
Status Failure
Total duration 8m 30s
Artifacts –

build.yml

on: push
Lint style
3m 8s
Lint style
Build
8m 22s
Build
Post-CI job
0s
Post-CI job
Fit to window
Zoom out
Zoom in

Annotations

4 errors
Build: Mathlib/AlgebraicTopology/SimplexCategory.lean#L1055
SimplexCategory.morphismProperty_eq_top unnecessary have fac : CategoryTheory.CategoryStruct.comp
Build: Mathlib/AlgebraicTopology/SimplexCategory.lean#L1088
SimplexCategory.Truncated.twoTruncatedmorphismProperty_eq_top unnecessary have fac : CategoryTheory.CategoryStruct.comp
Build
The process '/usr/bin/env' failed with exit code 1
Build
The process '/usr/bin/bash' failed with exit code 1