CI: reduce execution time
The current CI takes ages to run. It could be made faster with optimisations like:
- better management of compilation cache
- TODO analyse what takes time
The current CI takes ages to run. It could be made faster with optimisations like: