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