From 958b4ffd95a6a667a966cff185c6b324256aa9df Mon Sep 17 00:00:00 2001 From: Michael Panchenko Date: Mon, 23 Mar 2026 11:24:34 +0100 Subject: [PATCH] Disabled F# tests in CI, mentioned bugs in readme --- README.md | 4 ++-- test/solidlsp/fsharp/test_fsharp_basic.py | 2 ++ 2 files changed, 4 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index 5fc6a9db..d4fa11ed 100644 --- a/README.md +++ b/README.md @@ -80,8 +80,8 @@ Serena incorporates a powerful abstraction layer for the integration of language that implement the language server protocol (LSP). The underlying language servers are typically open-source projects (like Serena) or at least freely available for use. -With Serena's LSP library, we provide **support for over 30 programming languages**, including -AL, Ansible, Bash, C#, C/C++, Clojure, Dart, Elixir, Elm, Erlang, Fortran, GLSL, Go, Groovy (partial support), Haskell, HLSL, Java, Javascript, Julia, Kotlin, Lean 4, Lua, Luau, Markdown, MATLAB, Nix, OCaml, Perl, PHP, PowerShell, Python, R, Ruby, Rust, Scala, Solidity, Swift, TOML, TypeScript, WGSL, YAML, and Zig. +With Serena's LSP library, we provide **support for over 40 programming languages**, including +AL, Ansible, Bash, C#, C/C++, Clojure, Dart, Elixir, Elm, Erlang, Fortran, F# (currently with some bugs), GLSL, Go, Groovy (partial support), Haskell, HLSL, Java, Javascript, Julia, Kotlin, Lean 4, Lua, Luau, Markdown, MATLAB, Nix, OCaml, Perl, PHP, PowerShell, Python, R, Ruby, Rust, Scala, Solidity, Swift, TOML, TypeScript, WGSL, YAML, and Zig. > [!IMPORTANT] > Some language servers require additional dependencies to be installed; see the [Language Support](https://oraios.github.io/serena/01-about/020_programming-languages.html) page for details. diff --git a/test/solidlsp/fsharp/test_fsharp_basic.py b/test/solidlsp/fsharp/test_fsharp_basic.py index 47baae7a..8e6ff221 100644 --- a/test/solidlsp/fsharp/test_fsharp_basic.py +++ b/test/solidlsp/fsharp/test_fsharp_basic.py @@ -10,7 +10,9 @@ from solidlsp.ls_utils import SymbolUtils from test.conftest import is_ci +# Currently, most F# tests fail, there seems to be a regression or instability. @pytest.mark.fsharp +@pytest.mark.skipif(is_ci, reason="F# language server is currently unreliable") class TestFSharpLanguageServer: @pytest.mark.parametrize("language_server", [Language.FSHARP], indirect=True) def test_find_symbol(self, language_server: SolidLanguageServer) -> None: