riscv/riscv-cheri riscv-isa-release-f3f5142-2026-07-31

Release riscv-isa-release-f3f5142-2026-07-31

on GitHub

This release was created by: tariqkurd-repo
Release of RISC-V ISA, built from commit f3f5142, is now available.

What's Changed

• Update dco_check pointer to docs-resources by @wmat in #1183

Full Changelog: riscv-isa-release-87ed9f7-2026-07-30...riscv-isa-release-f3f5142-2026-07-31