some fixes #134332
build.yml
on: push
Cancel Previous Runs (CI)
2s
Post-CI job
0s
Annotations
4 errors
Lint style:
Mathlib/GroupTheory/Freiheitsatz.lean#L12
Mathlib/GroupTheory/Freiheitsatz.lean:12 ERR_MOD: Module docstring missing, or too late
|
Lint style
Process completed with exit code 2.
|
Build
The process '/usr/bin/env' failed with exit code 1
|
Build
The process '/usr/bin/bash' failed with exit code 1
|