Skip to content

refactor(ForMathlib/CategoryTheory/CodiscreteCat) #186

refactor(ForMathlib/CategoryTheory/CodiscreteCat)

refactor(ForMathlib/CategoryTheory/CodiscreteCat) #186

Triggered via push October 3, 2024 09:18
Status Success
Total duration 16s
Artifacts

lint.yml

on: push
style_lint
4s
style_lint
Fit to window
Zoom out
Zoom in