riscv/riscv-cheri riscv-isa-release-9f702ef-2025-07-24

Release riscv-isa-release-9f702ef-2025-07-24

on GitHub

This release was created by: arichardson
Release of RISC-V ISA, built from commit 9f702ef, is now available.

What's Changed

• Bump docs-resources from 1d5bcd2 to 3a40e07 by @dependabot[bot] in #671
• fix two typos by @tariqkurd-repo in #673

Full Changelog: riscv-isa-release-d636fd7-2025-07-23...riscv-isa-release-9f702ef-2025-07-24