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

Some fixes #3431

Merged
merged 6 commits into from
Sep 3, 2024
Merged

Some fixes #3431

merged 6 commits into from
Sep 3, 2024

Commits on Sep 3, 2024

  1. Configuration menu
    Copy the full SHA
    b5e50fb View commit details
    Browse the repository at this point in the history
  2. tests: reducing verbosity

    mtzguido committed Sep 3, 2024
    Configuration menu
    Copy the full SHA
    626db58 View commit details
    Browse the repository at this point in the history
  3. Errors: fix premature printing of diagnostics

    This really messes with the ide, as the printing does not show ranges
    and just goes to the output buffer.
    mtzguido committed Sep 3, 2024
    Configuration menu
    Copy the full SHA
    4c92374 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    a4ea61e View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    6120c43 View commit details
    Browse the repository at this point in the history
  6. snap

    mtzguido committed Sep 3, 2024
    Configuration menu
    Copy the full SHA
    6e4b97b View commit details
    Browse the repository at this point in the history