python
diff --git a/‎.github/workflows/build.yml‎
Lines changed: 3 additions & 1 deletion b/‎.github/workflows/build.yml‎
Lines changed: 3 additions & 1 deletion
@@ -93,7 +93,9 @@ jobs:
       - name: Compute hash for config cache key
         id: config_hash
         run: |
-          echo "hash=${{ hashFiles('configure', 'configure.ac', '.github/workflows/build.yml') }}" >> $GITHUB_OUTPUT
+          echo "ImageOS=${ImageOS}" >> .github/environment.txt
+          echo "ImageVersion=${ImageVersion}" >> .github/environment.txt
+          echo "hash=${{ hashFiles('configure', 'configure.ac', '.github/workflows/build.yml', '.github/environment.txt') }}" >> $GITHUB_OUTPUT
       - name: Get a list of the changed documentation-related files
         if: github.event_name == 'pull_request'
         id: changed-docs-files