Skip to content
GitLab
Unverified Commit b308e0c7 authored by Tianrui Wei's avatar Tianrui Wei Committed by GitHub
Browse files

feat: bump formal to chisel3 (#3044) 



Bump the formal subdirectory to chisel3

Signed-off-by: default avatarTianrui Wei <tianrui@tianruiwei.com>

Signed-off-by: default avatarTianrui Wei <tianrui@tianruiwei.com>
parent 21de34c0
Hide whitespace changes
Inline Side-by-side
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment