From ce0a593d70735eed05ab24df15ba0bdcff6f21eb Mon Sep 17 00:00:00 2001 From: mszelwiga Date: Thu, 31 Oct 2024 11:01:37 +0100 Subject: [PATCH] Fix uploading artifacts with formal verification logs --- .github/workflows/formal-verification.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/formal-verification.yml b/.github/workflows/formal-verification.yml index 416ce5e81..e25131963 100644 --- 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