Skip to content

Commit 9a70149

Browse files
Merge branch 'topic/#1167' into 'master'
Document bug reporting for VS Code See merge request eng/ide/ada_language_server!1276
2 parents 03266f8 + f98390b commit 9a70149

File tree

1 file changed

+3
-0
lines changed

1 file changed

+3
-0
lines changed

README.md

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -142,6 +142,9 @@ formatting might no succeed on incomplete/illegal code.
142142

143143
* **Debugging**: some manual work is needed in order to debug Ada code. In particular, you will need a `launch.json` file that describes your debugging configuration. All the steps needed for debugging are described [here](https://github.com/AdaCore/ada_language_server/wiki/Getting-Started#debug-hello_worldadb).
144144

145+
### Bug Reporting
146+
147+
You can use the VS Code `Issue Reporter` to report issues. Just click on the `Help -> Report Issue` menu, select `An extension` for the `File on` entry and `Language Support for Ada` for the extension name. Put as many information you can in the description, like steps to reproduce, stacktraces or system information (VS Code automatically includes it by default). This will create a GitHub issue in the [Ada Language Server](https://github.com/AdaCore/ada_language_server/) repository.
145148

146149

147150
### Getting started

0 commit comments

Comments
 (0)