Skip to content

Quote --filter strings in docs #4994

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

Open
xtqqczze wants to merge 2 commits into
base: main
Choose a base branch
from
+33 −33

Amend comment for accuracy

85950ca
Select commit
Loading
Failed to load commit list.
Open

Quote --filter strings in docs #4994

Amend comment for accuracy
85950ca
Select commit
Loading
Failed to load commit list.
Azure Pipelines / performance-ci (Performance fsharpmicro windows 24H2 x64 Open main) succeeded Mar 27, 2026 in 1h 13m 18s

Performance fsharpmicro windows 24H2 x64 Open main succeeded

0 errors / 0 warnings

View more details on Azure Pipelines