This repository has been archived by the owner on Mar 21, 2024. It is now read-only.
update state to ratified#25
Merged
ved-rivos merged 1 commit intoriscvarchive:mainfrom ved-rivos:ratifiedNov 30, 2023
+7-9
Commits
Commits on Nov 30, 2023
- committed
