Ludovic Courtès <[email protected]> writes: > As you might have noticed, there’s now rudimentary continuous > integration (CI) for pull requests (PRs): > > https://pulls.ci.gnu.org/pull-requests
This URL seems to be unreachable. Is it just for me or everyone? -- Ĝis la revido, Igorj Gorjaĉev
signature.asc
Description: PGP signature
