]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #17893 from jpthiele/precommit
authorMarc Fehling <mafehling.git@gmail.com>
Mon, 2 Dec 2024 09:07:10 +0000 (10:07 +0100)
committerGitHub <noreply@github.com>
Mon, 2 Dec 2024 09:07:10 +0000 (10:07 +0100)
commitaa53ff9447925fdbb1a306d7796c7633ab59dbfa
tree83cd1dbb0eebcc6ad20a682271094f6a83a88335
parenta6611ce7db3d74ba37b2a69e0d7dc328add8cf43
parent49406c76d257f7e71f0c44f4368f97c81d33e2c9
Merge pull request #17893 from jpthiele/precommit

Add pre-commit config and CI job

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.