Skip to content

[CI] rename pre-commit action#79

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

Commits

Commits on Nov 29, 2024