Skip to content
lint and suggest

feat(Topology/Group/Profinite): Profinite group is limit of finite group #64152

Sign in to view logs

feat(Topology/Group/Profinite): Profinite group is limit of finite group

feat(Topology/Group/Profinite): Profinite group is limit of finite group #64152

Triggered via pull request October 31, 2024 14:38
@Thmoas-GuanThmoas-Guan
synchronize #16992
profinite-group-is-limit-of-finite-group
Status Success
Total duration 1m 36s
Artifacts –

lint_and_suggest_pr.yml

on: pull_request
Lint style
1m 27s
Lint style
Check all files imported
42s
Check all files imported
Fit to window
Zoom out
Zoom in