Jean Abou Samra <j...@abou-samra.fr> writes: > Le 18/01/2023 à 04:11, David Zelinsky a écrit : >> What does this mean? >> >> I did run 'make; make check; make doc' and didn't see any errors. And >> the documentation (the only thing I modified) looks good to me. > > > You need to go through the process shown here: > > https://www.youtube.com/watch?v=s3G0qxwT11c > > (they do this to prevent abuse of their CI system).
Oh, thanks. That's somewhat non-obvious! Maybe next I'll push a change to the contributor guidelines to remark on this. :) -David
