Bump verif/core-v-verif from `752e67f` to `f17b93a`

Created by: dependabot[bot]

Bumps verif/core-v-verif from 752e67f to f17b93a.

Commits

• f17b93a Merge pull request #2355 from ThalesSiliconSecurity/fix-isacov
• 92d7271 ISACOV : Separate c.mv & c.add covergroup (fix issue #2137)
• 77f65e6 ISACOV : make UNKNOWN_GROUP as illegal_bin
• f9770a3 ISACOV : Fix cp_shift for Zb_itype_shift covergroup
• 50e51a2 ISACOV : set rx_valid flags for Zb* & covert2string
• c406e53 ISACOV-FIX : Spike-dasm can't decode Zbs extension and fence_i
• 39cb595 Merge pull request #2354 from ThalesSiliconSecurity/isacov
• 60a5974 ISACOV : Coverage Update & tuning
• 248f8f4 HOTFIX: get the latest Sphinx
• 6884fec HOTFIX: add recommonmark to requirements list for Sphinx
• See full diff in compare view

Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting @dependabot rebase.

---

Dependabot commands and options

You can trigger Dependabot actions by commenting on this PR:

• @dependabot rebase will rebase this PR
• @dependabot recreate will recreate this PR, overwriting any edits that have been made to it
• @dependabot merge will merge this PR after your CI passes on it
• @dependabot squash and merge will squash and merge this PR after your CI passes on it
• @dependabot cancel merge will cancel a previously requested merge and block automerging
• @dependabot reopen will reopen this PR if it is closed
• @dependabot close will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually
• @dependabot show <dependency name> ignore conditions will show all of the ignore conditions of the specified dependency
• @dependabot ignore this major version will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)
• @dependabot ignore this minor version will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)
• @dependabot ignore this dependency will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)