ci: Speed up the Linux builds (parallel make, ccache, docs out of ALL) - #1408

Merged

mickem merged 3 commits into

mainfrom

ci-build-speedups

Aug 14, 2026

Commits on Aug 14, 2026

ci: Build the Linux packages in parallel
mickem
committed
4d1e256
build: Only build the HTML docs by default where they are shipped
mickem
committed
13991a7
ci: Cache Linux compiler output with ccache
mickem
committed
06a7f9b