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.

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

Introduce a bundle with dependencies for running MWE2 workflow #3223

Merged
merged 9 commits into from
Oct 16, 2024

Commits on Oct 16, 2024

  1. Configuration menu
    Copy the full SHA
    c06fb1a View commit details
    Browse the repository at this point in the history
  2. re-export a few deps

    - .xtext.xtext.generator to let the mwe2 editor resolve correctly
    - mwe2.launch to let the mwe2 run configuration work
    LorenzoBettini committed Oct 16, 2024
    Configuration menu
    Copy the full SHA
    9eef1f2 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    8e48782 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    6a994fe View commit details
    Browse the repository at this point in the history
  5. updated wizard

    LorenzoBettini committed Oct 16, 2024
    Configuration menu
    Copy the full SHA
    1647a05 View commit details
    Browse the repository at this point in the history
  6. re-export all dependencies

    or the mwe2 will not find them
    LorenzoBettini committed Oct 16, 2024
    Configuration menu
    Copy the full SHA
    22f0de4 View commit details
    Browse the repository at this point in the history
  7. Configuration menu
    Copy the full SHA
    82ccc9b View commit details
    Browse the repository at this point in the history
  8. Configuration menu
    Copy the full SHA
    ff758c5 View commit details
    Browse the repository at this point in the history
  9. Configuration menu
    Copy the full SHA
    a54b442 View commit details
    Browse the repository at this point in the history