Closed domire8 closed 1 year ago
In order to reduce the build time of the development image, I propose (until we found a better solution) to disable the build of the pinocchio tests.
Additionally, I updated the number of jobs to use for make commands to #CPUs - 1.
These changes are currently running here
We can also create an issue or similar to not forget that we have to think about this again before releases to main.
In order to reduce the build time of the development image, I propose (until we found a better solution) to disable the build of the pinocchio tests.
Additionally, I updated the number of jobs to use for make commands to #CPUs - 1.
These changes are currently running here