Hi,

while waiting for Storm to link on linux... I found this

https://www.productive-cpp.com/using-the-mold-linker-for-fun-and-3x-8x-link-time-speedups/

I believe this could be a tremendous step towards faster CI.

Sebastian