riscv/riscv-cheri riscv-isa-release-ef1cb00-2025-12-19

Release riscv-isa-release-ef1cb00-2025-12-19

on GitHub

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

What's Changed

• Bump docs-resources from 8789870 to edf32fb by @dependabot[bot] in #905

Full Changelog: riscv-isa-release-dbeeea5-2025-12-18...riscv-isa-release-ef1cb00-2025-12-19