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

[Playground] Show alerts #861

Merged
merged 6 commits into from
Nov 2, 2023
Merged

[Playground] Show alerts #861

merged 6 commits into from
Nov 2, 2023

Commits on Nov 1, 2023

  1. playground: add test to show broken state with alerts

    @jchavarri
    jchavarri committed Nov 1, 2023
    Configuration menu
    Copy the full SHA
    5527aa5 View commit details
    Browse the repository at this point in the history

  2. show alerts in playground

    @jchavarri
    jchavarri committed Nov 1, 2023
    Configuration menu
    Copy the full SHA
    23a0e83 View commit details
    Browse the repository at this point in the history

Commits on Nov 2, 2023

  1. update bin/jsoo_main.ml 

    Co-authored-by: Antonio Nuno Monteiro <[email protected]>
    @jchavarri @anmonteiro
    jchavarri and anmonteiro authored Nov 2, 2023
    Configuration menu
    Copy the full SHA
    28382bc View commit details
    Browse the repository at this point in the history

  2. Merge branch 'main' into playground-fix-alerts 

    * main:
  playground: fix warn error prop (#862)
  feat: wrap the melange stdlib extension, expose it as Melstd (#859)
  Fix external analysis (#852)
    @jchavarri
    jchavarri committed Nov 2, 2023
    Configuration menu
    Copy the full SHA
    8a997d3 View commit details
    Browse the repository at this point in the history

  3. fix build

    @jchavarri
    jchavarri committed Nov 2, 2023
    Configuration menu
    Copy the full SHA
    88ca79a View commit details
    Browse the repository at this point in the history

  4. fix alerts handling

    @jchavarri
    jchavarri committed Nov 2, 2023
    Configuration menu
    Copy the full SHA
    35f8327 View commit details
    Browse the repository at this point in the history