Add SHA256 hash generation for ZIP archives in nightly and release builds

Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>

scripts/nightly.yaml

@@ -452,6 +452,15 @@ stages:
       inputs:
         artifactName: 'NuGet32'
         targetPath: tmp
+    - script: |
+        cd tmp
+        for file in *.zip; do
+          if [ -f "$file" ]; then
+            sha256sum "$file" > "$file.sha256"
+            echo "Generated SHA256 for $file"
+          fi
+        done
+      displayName: 'Generate SHA256 hashes for ZIP files'
     - task: GitHubRelease@1
       continueOnError: true 
       inputs:

scripts/release.yml

@@ -454,6 +454,16 @@ stages:
       inputs:
         artifact: 'NuGet32'
         path: $(Agent.TempDirectory)
+    - powershell: |
+        $files = Get-ChildItem -Path "$(Agent.TempDirectory)" -Filter "*.zip"
+        foreach ($file in $files) {
+          $hash = Get-FileHash -Path $file.FullName -Algorithm SHA256
+          $hashString = $hash.Hash.ToLower() + "  " + $file.Name
+          $hashFile = $file.FullName + ".sha256"
+          Set-Content -Path $hashFile -Value $hashString
+          Write-Host "Generated SHA256 for $($file.Name)"
+        }
+      displayName: 'Generate SHA256 hashes for ZIP files'
     - task: GitHubRelease@1
       inputs:
         gitHubConnection: Z3Prover