Merge pull request #29 from EliahKagan/node20

Try to force Node version for old github-script action

.github/workflows/try-force-node20.yml

@@ -0,0 +1,17 @@
+name: Try to force Node 20
+
+on: [push, pull_request, workflow_dispatch]
+
+env:
+  FORCE_JAVASCRIPT_ACTIONS_TO_NODE20: "true"
+
+jobs:
+  show-node-version:
+    runs-on: ubuntu-latest
+
+    steps:
+    - uses: actions/github-script@v6  # Normally uses Node 16.
+      with:
+        script: |
+          console.log(`Node.js version: ${process.version}`);
+          console.log(`Tried forcing? ${process.env.FORCE_JAVASCRIPT_ACTIONS_TO_NODE20}`);