Skip to content

[CI] rename pre-commit action#48

Merged
pjaap merged 1 commit intoWIAS-PDELib:masterfrom
jpthiele:rename_precommit_ci
Nov 29, 2024
Merged

[CI] rename pre-commit action#48
pjaap merged 1 commit intoWIAS-PDELib:masterfrom
jpthiele:rename_precommit_ci

Commits

Commits on Nov 29, 2024