Oron Port
Oron Port
For embedded scripts I mainly want to run. Only the console values are important and the values in the editor are just noises. So currently the application mode is more...
Yes, what I mean was that the separate file will run as a test, which is considered to be a separate module. So for a given sbt project, `src/main/first_sheet` and...
So maybe the proper term is actually a test separator and not a sheet separator. `/* $TEST$ */`
Maybe I'll try to tackle this one.
Yes, but currently swamped with work to finish my Phd. If anyone wants to tackle this, be my guest.
What logs should I produce?
I got the part where it failed to download the Semantic DB: ``` The server is listening for incoming connections at tcp://127.0.0.1:34252... Starting thread that pumps stdin and redirects it...
Possibly. This error is on my university's computer.
I would to chime in with a proposal. The trouble with closing such stale PRs is that they are still different from PRs closed due to other reasons such as...
Can you point me to the relevant code?