Closed fangerer closed 1 year ago
Resolves #312 .
Also discussed in the last dev call.
I seems that the Ubuntu mirror is having problems. That's why so many CI jobs are failing.
Resolves #312 .
Also discussed in the last dev call.