mirror of
https://github.com/spice2x/spice2x.github.io.git
synced 2026-08-01 22:30:42 -07:00
0a7ecf82a9
to speed up clean builds. GitHub CI time went from 20 minutes -> 10 minutes.