Bump verif/core-v-verif from 91b01d2 to 717d05e (#1567)

This commit is contained in:
dependabot[bot] 2023-10-24 04:35:12 +02:00 committed by GitHub
parent 584198427b
commit b9d1a2ecf1
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

@ -1 +1 @@
Subproject commit 91b01d2b7b6b9704d9873024668ae62871e2f178
Subproject commit 717d05ef588f099c11be4d8ce7a592bf9d8efd48