check.rb: terminating timed-out processes properly

vermaseren / form

The FORM project for symbolic manipulation of very big expressions

GNU General Public License v3.0

982 stars 118 forks source link

Closed tueda closed 4 months ago

tueda commented 4 months ago

This patch makes check.rb properly kill test processes that have timed out.

@jodavies Could you give it a try?

jodavies commented 4 months ago

Looks fine on my system. And the Windows CI is not taking 360 mins to fail anymore.

tueda commented 4 months ago

Thanks. I will merge it.

And the Windows CI is not taking 360 mins to fail anymore.

Oh, I didn't check the Deploy workflow carefully and didn't notice that the Windows jobs reached the 6-hour limit.