Various Fixes #1148
Merged
Various Fixes #1148
Deleted GitHub App / Copilot for PRs
succeeded
Jul 27, 2023 in 3m 45s
Analysis complete
Details
Copilot for PRs is a limited technical preview from GitHub Next.
It's aim is to make it easier to write pull request descriptions by providing automatically generated suggestions based on the code changes.
To find out more go to https://githubnext.com/projects/copilot-for-pull-requests or come and chat with us on Discord
File | Status | Duration |
---|---|---|
Summary & Walkthrough | ✅ Finished | 224 seconds |
src/FsAutoComplete.Core/Commands.fs | ✅ Finished | 175.9 seconds |
src/FsAutoComplete.Core/FileSystem.fs | ✅ Finished | 175.9 seconds |
src/FsAutoComplete.Core/InlayHints.fs | ✅ Finished | 175.9 seconds |
src/FsAutoComplete/LspServers/AdaptiveFSharpLspServer.fs | ✅ Finished | 187.1 seconds |
Loading