• Worry only about the CI pipeline for now
• Updating the build number will be done in a separate PR

Todo:

• Build steps (compile, check dependencies, hygiene, upload vsix) Start running CI using a GitHub Action: build, compile, hygiene, check deps #9843
• Tests (unit, python unit, venv, ipython, functional, debugger, single workspace, multi workspace) Add tests (excluding smoke) to CI GitHub Action #9924
• Smoke tests Add smoke tests to GH Action #9964
• Report coverage Add coverage step to the GitHub action CI workflow #10076
• Tag latest successful build (on GHA) as LKG (and move the tag whenever a build succeeds) Tag GHA CI successful build as LKG #10099