Fix uploading artifacts with formal verification logs

chipsalliance · Oct 31, 2024 · ce0a593 · ce0a593
1 parent ebe47b3
commit ce0a593
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/formal-verification.yml b/.github/workflows/formal-verification.yml
@@ -80,7 +80,7 @@ jobs:
         with:
           name: formal-verification-logs-${{ matrix.name }}
           path: |
-            ${{ matrix.name }}_formal_verification_logs.tar
+            ${{ matrix.name }}_formal_verification_logs.tar.gz
 
       - name: Upload load graphs
         uses: actions/upload-artifact@v4