Use eqy and sby to perform formal verification #592
cmake.yml
on: pull_request
Emit Workflow Info
0s
Style check
2m 4s
Matrix: build-binaries