Bump verif/core-v-verif from 4da8b11 to dfa7c47 (#1747)

This commit is contained in:
dependabot[bot] 2024-01-05 17:45:39 +01:00 committed by GitHub
parent 4cd5c4a7e8
commit c430c6c34b
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

@ -1 +1 @@
Subproject commit 4da8b11327634a2c22de9fd6b9923f28bdc19109
Subproject commit dfa7c47aebc36f4af5e41241e4fc199df0be8cba