update to github actions checkout 4

SRI-CSL / yices2

The Yices SMT Solver

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

GNU General Public License v3.0

360 stars 45 forks source link

update to github actions checkout 4 #490

Closed ahmed-irfan closed 4 months ago

coveralls commented 4 months ago

coverage: 65.531%. remained the same when pulling 73075179a142c19f6bf685827883f2964c249098 on update-actions-checkout-4 into 6771f95df4afe1e9a6a1ad512dc0f87699494866 on master.