Print REPL errors inline and get rid of error popup #1487
Merged
Mergify / Rule: Delete head branch after merge (delete_head_branch)
succeeded
Sep 5, 2023 in 0s
Branch `feature/inline-errors` has been deleted
Loading