Skip to content

Commit

Permalink
Gotta keep everything
Browse files Browse the repository at this point in the history 
Signed-off-by: Christopher Rabotin <christopher.rabotin@gmail.com>
  • Loading branch information
@ChristopherRabotin
ChristopherRabotin committed Dec 1, 2022
1 parent dc9ab0e commit e79cc01
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion .github/workflows/formal_verification.yml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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/**/*

0 comments on commit e79cc01

Please sign in to comment.