New comment by Eloitor on void-packages repository

https://github.com/void-linux/void-packages/pull/35907#issuecomment-1318265979

Comment:
I updated the template to 3.49.0 and now there is only one test that fails due to a timeout in my old computer.
 
```
495/1438 Test  #493: leantest_wrong_arity.lean ...................................   Passed    0.01 sec
          Start  495: leanruntest_all
 496/1438 Test  #495: leanruntest_all .............................................***Timeout 1500.12 sec
connect
recv
[S, E, C, R, E, T, _, D, A, T, A]

          Start  496: leanruntest_1010.lean
 497/1438 Test  #496: leanruntest_1010.lean .......................................   Passed    3.10 sec
          Start  497: leanruntest_1089.lean

[ more output ]


99% tests passed, 1 tests failed out of 1438

Total Test time (real) = 4973.43 sec

The following tests FAILED:
	495 - leanruntest_all (Timeout)
Errors while running CTest
```

Update: I tried again in a faster machine and it now builds successfully. The test that failed before now runs in 84 sec, I think I didn't add the patches to the template. 

@tornaria should I open a new PR?