feat(NumberTheory/JacobiSum/Basic): more Jacobi sum values (#16227) #10351
bors.yml
on: push
Cancel Previous Runs (CI)
5s
check workflows
7s
Post-CI job
0s
Annotations
5 errors
Lint style:
Mathlib/CategoryTheory/Adjunction/Limits.lean#L78
Mathlib/CategoryTheory/Adjunction/Limits.lean:78 ERR_IND: If the theorem/def statement requires multiple lines, indent it correctly (4 spaces or 2 for `|`)
|
Lint style:
Mathlib/CategoryTheory/Adjunction/Restrict.lean#L72
Mathlib/CategoryTheory/Adjunction/Restrict.lean:72 ERR_TWS: Trailing whitespace detected on line
|
Lint style
Process completed with exit code 1.
|
Build
The run was canceled by @github-actions[bot].
|
Build
The operation was canceled.
|