Our CI pipeline takes >15min to run, mainly doing repetitive work. We should speed it up by caching compilation artifacts by, e.g, using `ccache`.