Bump verif/core-v-verif from 717d05e to a687a60 (#1600)

This commit is contained in:
dependabot[bot] 2023-11-06 20:45:23 +01:00 committed by GitHub
parent d087fd7c8a
commit 08b7a9d428
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

@ -1 +1 @@
Subproject commit 717d05ef588f099c11be4d8ce7a592bf9d8efd48
Subproject commit a687a6023b3204881a9fa2ba10d394f5f3e8f8b2