fix npm token env

dmtrKovalenko · Aug 25, 2024 · 02dd3a2 · 02dd3a2
1 parent 24a39c7
commit 02dd3a2
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 1 deletion.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -126,11 +126,20 @@ jobs:
           merge-multiple: true
           path: npm_package/raw_binaries
 
+      - name: Set up Node.js
+        uses: actions/setup-node@v4
+        with:
+          node-version: '20'
+          cache: 'npm'
+          always-auth: true
+          registry-url: 'https://registry.npmjs.org'
+          cache-dependency-path: 'package-lock.json'
+
       - name: Publish npm package
         working-directory: npm_package
         run: npm publish
         env:
-          NPM_TOKEN: ${{ secrets.NPM_TOKEN }}
+          NODE_AUTH_TOKEN: ${{ secrets.NPM_TOKEN }}
 
       - name: Create github release
         uses: softprops/action-gh-release@v1

diff --git a/dune-project b/dune-project
@@ -51,6 +51,7 @@
 
 (package
   (name odiff-tests)
+  (synopsis "Internal package for integration tests of odiff")
   (depends
     (alcotest (= 1.8.0))
     odiff-core