Oliver Stöneberg 5ec0ad6bed
use ccache for sanitizer builds / do not use precompiled headers with ccache (#4910)
* added CMake option `DISABLE_DMAKE` to disable `run-dmake` dependencies

* tools/CMakeLists.txt: added TODO

* use `ccache` for sanitizer builds

* aligned selfcheck between sanitizer workflows and disabled some currently unnecessary steps

* CI-unixish.yml: do not use precompiled headers with `ccache`
2023-04-01 09:40:10 +02:00
..
2022-11-20 22:36:28 +01:00
2023-02-15 19:46:13 +01:00