Use eqy and sby to perform formal verification (#2529) #596
cmake.yml
on: push
Emit Workflow Info
0s
Style check
1m 28s
Matrix: build-binaries