(github-ci) use emsdk only if needed

Src-commit: b48205432c4f48acd0b36d2b80fab81f87a1f1c5
ciao-lang · Jul 4, 2022 · ea466db · ea466db
1 parent fe40589
commit ea466db
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -63,6 +63,7 @@ jobs:
         if: (matrix.sys.os == 'ubuntu-latest' && matrix.sys.inskind == 'devenv')
       # Additional setup for devenv: Emscripten
       - uses: mymindstorm/setup-emsdk@v11
+        if: (matrix.sys.os == 'ubuntu-latest' && matrix.sys.inskind == 'devenv')
       # Checks-out repo under $GITHUB_WORKSPACE
       - uses: actions/checkout@v2
       # Build