Skip to content

Revised Dockerfile and CI, especially added multi-platform support #715

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.

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

Merged
merged 1 commit into from
May 26, 2025

Conversation

volkm
Copy link
Contributor

@volkm volkm commented May 21, 2025

  • Support for releasing multi-platform Docker images, similar to carl-storm
  • Revised Dockerfiles
  • CI: Debug builds on macOS
  • Removed Python script for testing Storm configurations as this is captured by the CI

@volkm volkm added this to the 1.10 milestone May 21, 2025
@sjunges
Copy link
Contributor

sjunges commented May 24, 2025

LGTM.

Merging this with #602 may be a pain.

@volkm
Copy link
Contributor Author

volkm commented May 25, 2025

Yes, I am aware of the merge conflicts with #602 but I wanted to support multi-platform Docker images in the next release. After the release, I can try to merge the master into your PR branch and take care of the merge conflicts I introduced.

@sjunges
Copy link
Contributor

sjunges commented May 25, 2025

Please go ahead and merge this PR :-)

@volkm volkm merged commit 9d4a890 into moves-rwth:master May 26, 2025
14 of 17 checks passed
@volkm volkm deleted the docker branch May 26, 2025 05:18
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants