Age | Commit message (Collapse) | Author | |
---|---|---|---|
2025-06-13 | CONTRINBUTING: point to the newly added "lint" repository | Klaus Aehlig | |
To allow everyone to lint in the same way with minimal manual setup effort. | |||
2023-05-31 | Make test ["", "ALL"] really contain all tests | Klaus Aehlig | |
... but keep the option to not run the large tests. | |||
2023-05-24 | Split off tests into a separate logical repository | Klaus 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-09 | fix a typo | Alberto Sartori | |
2022-11-07 | Describe the contributing process | Klaus Aehlig | |