Skip to content
Formatting

(nitpick) mathlib style #380

Sign in to view logs

(nitpick) mathlib style

(nitpick) mathlib style #380

Triggered via pull request December 20, 2023 16:01
@MathisGDMathisGD
synchronize #115
style/x-y
Status Success
Total duration 16s
Artifacts –

formatting.yml

on: pull_request
lint
8s
lint
Fit to window
Zoom out
Zoom in