fx

Author: kroening

.github/workflows/pull-request-checks.yaml

@@ -199,16 +199,17 @@ jobs:
       - uses: actions/checkout@v4
         with:
           submodules: recursive
+      - uses: actions/setup-node@v4
+        with:
+          node-version: 20
       - name: Fetch dependencies
         env:
           # This is needed in addition to -yq to prevent apt-get from asking for
           # user input
           DEBIAN_FRONTEND: noninteractive
         run: |
           sudo apt-get update
-          sudo apt-get install --no-install-recommends -yq emscripten flex bison libxml2-utils cpanminus ccache curl
-          curl -fsSL https://deb.nodesource.com/setup_20.x > /tmp/setup
-          sudo bash /tmp/setup
+          sudo apt-get install --no-install-recommends -yq emscripten flex bison libxml2-utils cpanminus ccache
       - name: Prepare ccache
         uses: actions/cache@v4
         with:
@@ -229,6 +230,6 @@ jobs:
       - name: Build with make
         run: make -C src -j4 CXX="ccache emcc" HOSTCXX="ccache g++" BUILD_ENV=Unix LINKLIB="emar rc \$@ \$^" AR="emar" EXEEXT=".html"
       - name: print version number via node.js
-        run: node src/ebmc/ebmc.js --version
+        run: node --no-experimental-fetch src/ebmc/ebmc.js --version
       - name: Print ccache stats
         run: ccache -s