Skip to content

Commit

Permalink
Merge pull request #35 from Certora/certora_squash_2
Browse files Browse the repository at this point in the history 
updating commit hash on report
  • Loading branch information
@eboadom
eboadom authored Sep 27, 2023
2 parents e869de2 + 17d7e2d commit 18d7e67
Show file tree
Hide file tree
Showing 2 changed files with 0 additions and 924 deletions.
Loading

0 comments on commit 18d7e67

Please sign in to comment.