Closed BaderBC closed 7 months ago
I thought it would be faster...
I don't think there is a need to do that. In both cases, it takes about 2 minutes to finish the CI.
Shall we close it?
I thought it would be faster...