Skip to content
continuous integration

fix? #157213

Sign in to view logs

fix?

fix? #157213

Triggered via push January 18, 2025 22:58
@jjaassoonnjjaassoonn
pushed 7d58c66
morita
Status Failure
Total duration 9m 15s
Artifacts 1

build.yml

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

Annotations

5 errors and 1 warning
Build: Mathlib/Algebra/Category/ModuleCat/Basic.lean#L435
@ModuleCat.Algebra.instModuleCarrier definition missing documentation string
Build: Mathlib/Algebra/Category/ModuleCat/Basic.lean#L442
@ModuleCat.Algebra.instLinear definition missing documentation string
Build: Mathlib/RingTheory/Morita/Basic.lean#L50
MoritaEquivalence inductive missing documentation string
Build: Mathlib/RingTheory/Morita/Basic.lean#L54
@MoritaEquivalence.eqv definition missing documentation string
Build
The process '/usr/bin/env' failed with exit code 1
Lint style
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see /~https://github.com/actions/runner-images/issues/10636

Artifacts

Produced during runtime
Name Size
import-graph
190 KB