Skip to content

[CI/Infra] Add pre-commit to repo#43

Merged
jpthiele merged 8 commits intoWIAS-PDELib:masterfrom
jpthiele:precommit
Nov 26, 2024
Merged

[CI/Infra] Add pre-commit to repo#43
jpthiele merged 8 commits intoWIAS-PDELib:masterfrom
jpthiele:precommit

Commits

Commits on Nov 25, 2024