update Node.js to v18.17.1

stephengold · Aug 12, 2023 · a37a045 · a37a045
1 parent 14259ad
commit a37a045
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/push-master.yml b/.github/workflows/push-master.yml
@@ -18,7 +18,7 @@ jobs:
           java-version: 17
       - uses: actions/setup-node@v3
         with:
-          node-version: 18.16.0
+          node-version: 18.17.1
       - run: npm ci
 #      - run: npm audit
       - run: npx antora src/site/antora/ci-playbook.yml