Cleanup and improve robustness of Github actions.

.github/workflows/check-javascript-style.yml

@@ -1,36 +1,36 @@
 name: Check Javascript style
 
 on:
-  # Triggers the workflow on push or pull request events but only for the "master" branch
   push:
     branches: [ "master" ]
   pull_request:
     branches: [ "master" ]
 
-  # Allows you to run this workflow manually from the Actions tab
   workflow_dispatch:
 
-# A workflow run is made up of one or more jobs that can run sequentially or in parallel
 jobs:
-  # This workflow contains a single job called "build"
   build:
-    # The type of runner that the job will run on
     runs-on: ubuntu-latest
 
-    # Steps represent a sequence of tasks that will be executed as part of the job
     steps:
-      # Checks-out your repository under $GITHUB_WORKSPACE, so your job can access it
       - uses: actions/checkout@v3
 
-      # Run the tests
-      - name: Install nodejs
-        run: sudo apt install nodejs
-        
-      - name: Install yarn
+      - name: Install platform dependencies
+        run: |
+          sudo apt update
+          sudo apt upgrade -y
+          sudo apt install -y nodejs npm
+
+      - name: Install Node dependencies
         run: sudo npm install --global yarn
-        
+
       - name: Install Node modules
-        run: cd web && yarn install
+        run: |
+          export CPPFLAGS="-DPNG_ARM_NEON_OPT=0"
+          cd web
+          yarn install
 
       - name: Run the linter
-        run: cd web && yarn run linter
+        run: |
+          cd web
+          yarn run linter