3 Commits

Author	SHA1	Message	Date
Jakob Hasse	620cc586a2	tools: setting components to main to reduce build time	2023-04-25 15:42:22 +08:00
Djordje Nedic	facab8c5a7	tools: Increase the minimal supported CMake version to 3.16 ... This updates the minimal supported version of CMake to 3.16, which in turn enables us to use more CMake features and have a cleaner build system. This is the version that provides most new features and also the one we use in our latest docker image for CI.	2022-06-01 06:35:02 +00:00
Ivan Grokhotkov	52607063cb	ci: add script to check section references	2020-09-03 18:14:17 +02:00