Ihor Radchenko <[email protected]> writes: > Could you also restart the publishing script. It does not look like my > recent changes to WORG were published: > https://git.sr.ht/~bzg/worg/commit/2d85953c2221d91aee65ec254b66a65b541cd360
I tried to push a change and the build failed: https://builds.sr.ht/~bzg/job/1792035 -- Bastien
