Skip to content
Back to pull request #22117

[Merged by Bors] - style(Geometry/Manifold): remove superfluous indentation in doc-strings #84485

Sign in to view logs

[Merged by Bors] - style(Geometry/Manifold): remove superfluous indentation in doc-strings

[Merged by Bors] - style(Geometry/Manifold): remove superfluous indentation in doc-strings #84485

Triggered via pull request February 20, 2025 09:42
@grunweggrunweg
opened #22117
MR-mfd-unindent
Status Success
Total duration 1m 23s
Artifacts –

lint_and_suggest_pr.yml

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