代码拉取完成，页面将自动刷新
3
form the CHERI formal verification up
已合并
此 Pull Request 需要通过一些审核项
| 类型 | 指派人员 | 状态 |
|---|---|---|
| 审查 |
|
已完成 (2/1) |
| 测试 |
|
已完成 (2/1) |
怎样手动合并此 Pull Request
git checkout main
git pull https://toscode.mulanos.cn/openkylin/riscv-formal.git adev
git push origin main
折叠设置