Alexandre Catarino
0c4a121371
Regression Tests / build (push) Has been cancelled
Report Generator Tests / build (push) Has been cancelled
Benchmarks / build (push) Has been cancelled
API Tests / build (push) Has been cancelled
Syntax Tests / build (push) Has been cancelled
Build & Test Lean / build (push) Has been cancelled
Research Regression Tests / build (push) Has been cancelled
Python Virtual Environments / build (push) Has been cancelled
* Updates .vscode Environment * Removes VS Code Intellicode Deprecated. Built-in Roslyn completions are enough or users can add GitHub.copilot.
11 lines
248 B
JSON
11 lines
248 B
JSON
{
|
|
/*
|
|
Recommended VS Code extensions for the LEAN engine
|
|
*/
|
|
"recommendations": [
|
|
"ms-dotnettools.csharp",
|
|
"ms-dotnettools.csdevkit",
|
|
"ms-vscode-remote.remote-containers",
|
|
"ms-python.python"
|
|
]
|
|
} |