Update Mathlib/Topology/Category/Profinite/Basic.lean #57702
build.yml
on: push
Cancel Previous Runs (CI)
2s
check workflows
7s
Post-CI job
11s