On Tue, 14 Dec 2021, Henrique Gottardi Werlang wrote: > Why aren't pull requests being checked anymore? Because it seems that for some unknown reason I don't get notifications of pull requests for the pas2js projects =-( Thank you for pointing it out, I will look at them this weekend, and I will check why I don't get notifications... Michael.