Set up CI #5
Description
We should set up GitHub actions workflows to build (and later also deploy) the extension, like in vscode-kotlin.
{{ message }}
We should set up GitHub actions workflows to build (and later also deploy) the extension, like in vscode-kotlin.