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