add check-api in the CI

SRI-CSL / yices2

The Yices SMT Solver

https://yices.csl.sri.com/

GNU General Public License v3.0

360 stars 45 forks source link

add check-api in the CI #485

Closed ahmed-irfan closed 6 months ago

coveralls commented 6 months ago

coverage: 65.531% (+0.4%) from 65.147% when pulling 9de2b4a7f76c9f32281a69d0b653e3f3aadf5f36 on update-ci-check-api into ce04f1b8020c36f20f2c2d5a0316e2f34267df13 on master.