Closed hsorby closed 1 year ago
So, it's not an IT-related issue then? If so then well done on tracking it down!
Unfortunately it seems more of a Hugh issue. Time will tell if I have indeed fixed it, but so far so good.
Unfortunately it seems more of a Hugh issue. Time will tell if I have indeed fixed it, but so far so good.
Oh well, we all make mistakes, even though it has really driven me mad lately!
I think our CI issues that we have been experiencing have been due to a race condition in the parallel builds of the coverage testing. I believe this change will fix the race condition.
Fixes #1087.