(ci) update gh workflow: setup-emsdk version

Src-commit: d474ee55098c56f4318905da14156653703b681b

Author: jfmc

.github/workflows/build.yml

@@ -62,7 +62,7 @@ jobs:
           sudo sed -i '/disable ghostscript format types/,+6d' /etc/ImageMagick-6/policy.xml
         if: (matrix.sys.os == 'ubuntu-latest' && matrix.sys.inskind == 'devenv')
       # Additional setup for devenv: Emscripten
-      - uses: mymindstorm/setup-emsdk@v11
+      - uses: mymindstorm/setup-emsdk@v14
         if: (matrix.sys.os == 'ubuntu-latest' && matrix.sys.inskind == 'devenv')
       # Checks-out repo under $GITHUB_WORKSPACE
       - uses: actions/checkout@v2