Skip to content

Conversation

@TomMelt
Copy link
Contributor

@TomMelt TomMelt commented Nov 11, 2025

Fix failing mac build for now.

When #985 is ready, we can use that instead.

@TomMelt TomMelt self-assigned this Nov 11, 2025
@TomMelt TomMelt added the ICCS Tasks or reviews for the ICCS team label Nov 11, 2025
@TomMelt TomMelt merged commit e98e77d into develop Nov 11, 2025
7 checks passed
@TomMelt TomMelt deleted the fix-mac-ci-eigen3 branch November 11, 2025 11:58
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

ICCS Tasks or reviews for the ICCS team

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants