Join GitHub today
GitHub is home to over 40 million developers working together to host and review code, manage projects, and build software together.Sign up
Ignore flaky BspSwitchSuite and reenable FoldingRangeSuite on Windows. #1177
Hmm... according to https://help.github.com/en/actions/automating-your-workflow-with-github-actions/virtual-environments-for-github-hosted-runners they have 7gb. But it might be Bloop server taking up some of it.