WIP: Github action

Author: jstastny

.github/workflows/publish.yaml

@@ -0,0 +1,31 @@
+name: Publish
+on: [push]
+
+jobs:
+  publish:
+    name: Publish
+    runs-on: ubuntu-latest
+    steps: 
+      - uses: actions/checkout@v3
+      - uses: actions/setup-node@v3
+        with:
+           node-version: 16.x
+      - run: yarn install
+      - run: yarn npm:prepublish
+      - name: Set the package name
+        # This is needed because we don't want to change `package.json` -- not to drift from the upstream
+        # repo too much.
+        # At the same time, we need to publish the package under a different name, so that we can distinguish
+        # it from the original package.
+        run: npm pkg set --workspace packages/server name=@deepnote/sql-language-server
+      - name: Configure github packages npm repository
+        run: | 
+           echo "//npm.pkg.github.com/:_authToken=${{ secrets.GITHUB_TOKEN }}" > ~/.npmrc
+           echo "@deepnote:registry=https://npm.pkg.github.com" >> ~/.npmrc
+      - name: Set package version
+        run: npm version 1.3.0-pre-${{ github.sha }}
+      - name: Publish the server package
+        run: |
+          npm publish --workspace packages/server
+          
+