Igorj Gorjaĉev <[email protected]> writes: > 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?
Sorry, it’s https://pulls.ci.guix.gnu.org/pull-requests ! Ludo’.
