Update ci.yml #162
Annotations
1 error
ubuntu-latest|gcov|--enable-mcsat|CC=gcc CXX=g++
Process completed with exit code 2.
|