🩹 (workflow): Curl mbed if base and head versions are different

leka · Aug 12, 2021 · 1f8281e · 1f8281e
1 parent 1db06d8
commit 1f8281e
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/.github/workflows/ci-code_analysis-compare_bin_map_files.yml b/.github/workflows/ci-code_analysis-compare_bin_map_files.yml
@@ -159,6 +159,9 @@ jobs:
         run: |
           git checkout ${{ github.base_ref }}
           make deep_clean
+          if [[ "$base_mbed" != "$head_mbed" ]]; then
+            make mbed_curl VERSION=${{ env.base_mbed }}
+          fi
           make config
           make
 
@@ -171,6 +174,9 @@ jobs:
         run: |
           git checkout ${{ github.head_ref }}
           make deep_clean
+          if [[ "$base_mbed" != "$head_mbed" ]]; then
+            make mbed_curl VERSION=${{ env.head_mbed }}
+          fi
           make config
           make