Bump verif/core-v-verif from b92d30f to 835720b (#2215)

This commit is contained in:
dependabot[bot] 2024-06-09 20:40:00 +02:00 committed by GitHub
parent ade4c85e13
commit 424eca6f63
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

@ -1 +1 @@
Subproject commit b92d30f4d3f4f5f50056e5267a03d02a66b7b6da
Subproject commit 835720badada8c2416ec990caad8bdac7559b56b