Hi Ihor, Ihor Radchenko <yanta...@posteo.net> writes:
> I am not sure. > We now got exactly the concern Max raised: New commits do not update > WORG as long as even a single WORG page is broken: > https://builds.sr.ht/~bzg/job/1035051 Mh, yes, I reverted this change. > What about the other approach I proposed? > (where we export skipping errors first, upload, and then re-export, > catching all errors this time just to trigger an email to notify about > the failure). Yes, let's do this. -- Bastien Guerry
