finish #105077
build.yml
on: push
Cancel Previous Runs (CI)
2s
check workflows
11s
Post-CI job
0s
Annotations
3 errors
Build
The run was canceled by @github-actions[bot].
|
Build:
Mathlib/RingTheory/Flat/CategoryTheory.lean#L174
@module.Flat.higherTorIsoZero definition missing documentation string
|
Build
The process '/usr/bin/env' failed with exit code 1
|