feat: auto-publish infoview

.github/workflows/on-push.yml

@@ -43,6 +43,18 @@ jobs:
           npm ci
           npm run build
 
+      - name: Publish infoview-api (if new version)
+        if: ${{ startsWith(github.ref, 'refs/tags/v') && !endsWith(github.ref, '-pre') && matrix.os == 'ubuntu-latest' }}
+        continue-on-error: true
+        run: |
+          [ "$(npm view @leanprover/infoview-api version)" != "$(sed -n 's/^\s*"version":\s*"\(.*\)",\s*/\1/p' lean4-infoview-api/package.json)" ] && (npm publish --workspace=lean4-infoview-api --access=public) || (echo "infoview-api version unchanged")
+
+      - name: Publish infoview (if new version)
+        if: ${{ startsWith(github.ref, 'refs/tags/v') && !endsWith(github.ref, '-pre') && matrix.os == 'ubuntu-latest' }}
+        continue-on-error: true
+        run: |
+          [ "$(npm view @leanprover/infoview version)" != "$(sed -n 's/^\s*"version":\s*"\(.*\)",\s*/\1/p' lean4-infoview/package.json)" ] && (npm publish --workspace=lean4-infoview --access=public) || (echo "infoview version unchanged")
+
       - name: Package
         run: npm run package --workspace=lean4
         if: ${{ !startsWith(github.ref, 'refs/tags/v') || !endsWith(github.ref, '-pre') }}
@@ -111,3 +123,6 @@ jobs:
         uses: GabrielBB/[email protected]
         with:
           run: npm run test
+
+    env:
+      NPM_TOKEN: ${{ secrets.NPM_TOKEN }}

.npmrc

@@ -0,0 +1 @@
+//registry.npmjs.org/:_authToken=${NPM_TOKEN}

lean4-infoview/package.json

@@ -1,6 +1,6 @@
 {
     "name": "@leanprover/infoview",
-    "version": "0.7.0",
+    "version": "0.7.1",
     "description": "An interactive display for the Lean 4 theorem prover.",
     "scripts": {
         "watch": "rollup --config --environment NODE_ENV:development --watch",
@@ -39,7 +39,7 @@
         "@types/marked": "^4.3.1",
         "@types/react": "^18.2.15",
         "@types/react-dom": "^18.2.7",
-        "current-release": "npm:@leanprover/infoview@^0.7.0",
+        "current-release": "npm:@leanprover/infoview@latest",
         "react": "^18.2.0",
         "react-dom": "^18.2.0",
         "rollup": "^3.26.2",