From e79cc014efb0b563c022ef866ad312b2e92113b5 Mon Sep 17 00:00:00 2001 From: Christopher Rabotin Date: Thu, 1 Dec 2022 08:15:20 -0700 Subject: [PATCH] Gotta keep everything Signed-off-by: Christopher Rabotin --- .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 314d4004..6f80ea04 100644 --- a/.github/workflows/formal_verification.yml +++ b/.github/workflows/formal_verification.yml @@ -44,4 +44,4 @@ jobs: uses: actions/upload-artifact@v3 with: name: formal-verification-report - path: target/report*/html/index.html + path: target/report*/html/**/*