Fix CI - Githubissues

SRI-CSL / yices2

The Yices SMT Solver

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

GNU General Public License v3.0

368 stars 46 forks source link

Closed ahmed-irfan closed 1 year ago

ahmed-irfan commented 1 year ago

CI on Github actions.

The current setup checks 4 configuration

Improvements will be made in the future PRs.

ianamason commented 1 year ago

Happy turkey day!

ianamason commented 1 year ago

Looks like some fixes are needed. All the tasks failed.

ahmed-irfan commented 1 year ago