Closed Rombur closed 1 year ago
Fixes #186
CI
With the move of some of the machines to the new cloud, I had to decrease the number of processors used for compilation in the CI. Now everything passes.
Fixes #186
CI