summaryrefslogtreecommitdiff
path: root/CONTRIBUTING.md
AgeCommit message (Collapse)Author
2025-06-13CONTRINBUTING: point to the newly added "lint" repositoryKlaus Aehlig
To allow everyone to lint in the same way with minimal manual setup effort.
2023-05-31Make test ["", "ALL"] really contain all testsKlaus Aehlig
... but keep the option to not run the large tests.
2023-05-24Split off tests into a separate logical repositoryKlaus Aehlig
This allows better separation and, in particular, repositories needed only for tests do not have to be provided for building the tools. This also better documents which dependencies are only needed for testing.
2022-11-09fix a typoAlberto Sartori
2022-11-07Describe the contributing processKlaus Aehlig