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

Main to nightly #1289

Merged
merged 23 commits into from
May 9, 2024
Merged

Main to nightly #1289

merged 23 commits into from
May 9, 2024

Conversation

TheAngryByrd
Copy link
Member

No description provided.

brianrourkeboll and others added 23 commits March 19, 2024 07:56
* Shift multiline paren contents less aggressively

* Make it actually work

* Disambiguate AsSpan overload
* Migrate FAKE to Fun.Build

* Add default Build pipeline.
* fix unicode chars in F# compiler diagnostic messages

* fix typo in ShadowedTimeouts focused tests

* fixup! fix unicode chars in F# compiler diagnostic messages

* remove focused tests...

* remove debug prints

Co-authored-by: Jimmy Byrd <[email protected]>

---------

Co-authored-by: Jimmy Byrd <[email protected]>
- remove an ignored instance of StreamJsonRpcTracingStrategy
…nide#1278)

This fix the issue where rootUri was ignored when using AutomaticWorkspaceInit.
* Add support for Cancel WorkDoneProgress

* Fix up saving cancellation
See dotnet/fsharp#16901

* Keep parens around outlaw `match` exprs (where the first `|` is
  leftward of the start of the `match` keyword).

* Ignore single-line comments when determining offsides lines.

* Don't add a space when removing parens when doing so would result in
  reparsing an infix op as a prefix op.
I'm tired of all the weird failures because of parallelism
@TheAngryByrd TheAngryByrd enabled auto-merge (rebase) May 9, 2024 03:10
@TheAngryByrd TheAngryByrd disabled auto-merge May 9, 2024 03:10
@TheAngryByrd TheAngryByrd merged commit 7795214 into ionide:nightly May 9, 2024
26 checks passed
@TheAngryByrd TheAngryByrd deleted the main-to-nightly branch May 9, 2024 03:10
@TheAngryByrd TheAngryByrd restored the main-to-nightly branch May 9, 2024 03:14
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

8 participants