Update Mathlib/Data/Setoid/Basic.lean #130303
build.yml
on: push
Cancel Previous Runs (CI)
4s
check workflows
7s
Post-CI job
0s
Annotations
4 errors
Build
The run was canceled by @github-actions[bot].
|
Build
The operation was canceled.
|
Lint style
The run was canceled by @github-actions[bot].
|
Lint style
The operation was canceled.
|