Closed HDegroote closed 2 months ago
To be useful, this commit should then be merged in next as well (currently the CI does not run there)
Mac CI failed, but that's unrelated to the changes to the CI file here, which should be safe to merge (it only changes when the CI runs, not how it runs)
To be useful, this commit should then be merged in next as well (currently the CI does not run there)