Skip to content
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

Uplift REMReM Publish and Generate to Orizaba #14

Open
e-backmark-ericsson opened this issue Sep 25, 2024 · 0 comments · May be fixed by eiffel-community/eiffel-remrem-publish#301 or eiffel-community/eiffel-remrem-generate#232
Open

Uplift REMReM Publish and Generate to Orizaba #14

e-backmark-ericsson opened this issue Sep 25, 2024 · 0 comments · May be fixed by eiffel-community/eiffel-remrem-publish#301 or eiffel-community/eiffel-remrem-generate#232
Assignees
@z-sztrom

Comments

@e-backmark-ericsson
Copy link
Member

e-backmark-ericsson commented Sep 25, 2024 •
edited
Loading

There was an earlier task to uplift REMReM to Orizaba, eiffel-community/eiffel-remrem-semantics#141, but for some reason only remrem-semantics was uplifted. This issue aims to make sure also REMReM Publish and REMReM Semantics is uplifted.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@z-sztrom z-sztrom

Labels
None yet
Projects
None yet
Milestone
No milestone
2 participants
@e-backmark-ericsson @z-sztrom