⬆️ switching to node 20

Signed-off-by: burgholzer <[email protected]>

.github/workflows/check-dist.yml

@@ -24,10 +24,10 @@ jobs:
     steps:
       - uses: actions/checkout@v4
 
-      - name: Set Node.js 18
+      - name: Set Node.js
         uses: actions/[email protected]
         with:
-          node-version: 18
+          node-version: 20.x
           cache: npm
 
       - name: Install dependencies

.github/workflows/test.yml

@@ -21,10 +21,10 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v4
-      - name: Set Node.js 18
+      - name: Set Node.js
         uses: actions/[email protected]
         with:
-          node-version: 18
+          node-version: 20.x
           cache: npm
       - run: npm ci
       - run: npm run all

action.yml

@@ -17,24 +17,9 @@ inputs:
 outputs:
   z3-root:
     description: "The root directory of the Z3 installation"
-    value: ${{ steps.action.outputs.z3-root }}
 runs:
-  using: composite
-  steps:
-    - name: Setup Node
-      uses: actions/setup-node@v3
-      with:
-        node-version: 18
-    - name: Action
-      id: action
-      run: |
-        node ${{ github.action_path }}/dist/index.js
-        echo "{z3-root}={value1}" >> $GITHUB_OUTPUT
-      shell: ${{ (runner.os == 'Windows' && 'pwsh') || 'bash' }}
-      env:
-        INPUT_VERSION: ${{ inputs.version }}
-        INPUT_PLATFORM: ${{ inputs.platform }}
-        INPUT_ARCHITECTURE: ${{ inputs.architecture }}
+  using: "node20"
+  main: "dist/index.js"
 branding:
   icon: "package"
   color: "blue"