Closed LucasSte closed 3 months ago
Before merging, I'll investigate why the CI is failing.
@dmakarov I included other changes in this PR to make the CI pass. Would you like to check it again before merging?
The default GitHub runner for MacOS is now an ARM computer, not an x86.
Before merging, I'll investigate why the CI is failing.