Skip to content

Better support for ARM #790

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Merged
merged 5 commits into from
Oct 2, 2025
Merged

Better support for ARM #790

merged 5 commits into from
Oct 2, 2025
+12 −11

Conversation

volkm
Copy link
Contributor

@volkm volkm commented Sep 30, 2025 •
edited
Loading

  • added CI tests on ARM
  • extended Sylvan workaround from Apple Silicon to all ARM architectures. Fixes Support for Linux ARM #788
  • consistently use preprocessor macro MACOS

@volkm volkm requested a review from tquatmann October 1, 2025 07:13
sjunges
sjunges reviewed Oct 1, 2025
View reviewed changes
@sjunges
Copy link
Contributor

sjunges commented Oct 1, 2025

One question about the runner config from a github actions noob, otherwise, great, thanks!

@sjunges sjunges changed the title Better suppor for ARM Better support for ARM Oct 1, 2025
@volkm volkm removed the request for review from tquatmann October 1, 2025 07:50
@volkm volkm added this to the 1.11.1 milestone Oct 1, 2025
@volkm volkm merged commit 53f00ef into moves-rwth:master Oct 2, 2025
19 checks passed
@volkm volkm deleted the arm branch October 2, 2025 08:40
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@sjunges sjunges sjunges left review comments

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
1.11.1
Development

Successfully merging this pull request may close these issues.

Support for Linux ARM
2 participants
@volkm @sjunges