Update windows_ci.yml - Githubissues

SRI-CSL / yices2

The Yices SMT Solver

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

GNU General Public License v3.0

363 stars 45 forks source link

Update windows_ci.yml #470

Closed ahmed-irfan closed 9 months ago

ahmed-irfan commented 9 months ago

run thread safety option in the windows ci

coveralls commented 9 months ago

coverage: 65.098%. remained the same when pulling ce5a7c8ed38f41d7402ab9a275a17861153c48d2 on update-win-ci-thread-safety into 36dedf16a46aa34b9f8631b18b40de9eb2f363be on master.