There were some changes to which runners were authorized in GitHub, and our CI failed silently for a week or so. I have fixed the master branch now and builds run now.
Cheers, Antoine --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
