Closed isuruf closed 1 year ago
@JohnCremona, this should test libc++>=16
I'm using macOS here as it is easier to get already built dependencies with libc++ (instead of libstdc++)
Here's a CI run without your latest PR: https://github.com/isuruf/eclib/actions/runs/4789294992/jobs/8516985238 It fails with the errors I mentioned.
@JohnCremona, this should test libc++>=16
I'm using macOS here as it is easier to get already built dependencies with libc++ (instead of libstdc++)