Hi, The make check bot lagged behind about 24h because it now took about one hour for one run. To catch up, it was paused and skipped a number of runs. It now is resumed and a run now takes 30 minutes instead which will allow it to keep up. Re-pushing a pull request will run the make check bot again.
Cheers -- Loïc Dachary, Artisan Logiciel Libre
signature.asc
Description: OpenPGP digital signature
