[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Worg: issue with org-tools page
From: |
Ihor Radchenko |
Subject: |
Re: Worg: issue with org-tools page |
Date: |
Sat, 05 Aug 2023 07:12:16 +0000 |
Bastien Guerry <bzg@gnu.org> writes:
> Ihor Radchenko <yantar92@posteo.net> writes:
>
>> I am attaching tentative patch that will revert demoting errors to
>> messages. However, I do not fully understand the purpose of the original
>> `condition-case' code in the publish.sh. Bastien?
>
> Applied. I'm aware it only fixes part of the issue at hand, but I
> believe this is already better.
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
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).
--
Ihor Radchenko // yantar92,
Org mode contributor,
Learn more about Org mode at <https://orgmode.org/>.
Support Org development at <https://liberapay.com/org-mode>,
or support my work at <https://liberapay.com/yantar92>
- Re: Worg: issue with org-tools page, Bastien Guerry, 2023/08/04
- Re: Worg: issue with org-tools page,
Ihor Radchenko <=
- Re: Worg: issue with org-tools page, Bastien Guerry, 2023/08/05
- Re: Worg: issue with org-tools page, Ihor Radchenko, 2023/08/05
- Re: Worg: issue with org-tools page, Bastien Guerry, 2023/08/05
- Re: Worg: issue with org-tools page, Ihor Radchenko, 2023/08/06
- Re: Worg: issue with org-tools page, Bastien Guerry, 2023/08/06
- Re: Worg: issue with org-tools page, Ihor Radchenko, 2023/08/07
- Re: Worg: issue with org-tools page, Bastien Guerry, 2023/08/07