search

SRI-CSL / yices2

The Yices SMT Solver
https://yices.csl.sri.com/
GNU General Public License v3.0
363 stars 45 forks source link

Ci coverage #422

Closed ahmed-irfan closed 1 year ago

ahmed-irfan commented 1 year ago
ahmed-irfan commented 1 year ago

@disteph , @BrunoDutertre: After this PR is merged, the CI using github workflows would be doing what travis CI used to do (https://github.com/SRI-CSL/yices2/actions/runs/3599899720). So, is it okay to remove the travis configuration?

ianamason commented 1 year ago

Yes.