Infra Build not working

[selva vignesh]

Hi,

When create a pull request, build getting triggered in jenkins. Due to space issue, build is getting failed. please check. PFA

[Olblak]

Hello,

Thanks for reporting this.

This issue has been reported here and solved several hours ago but because we are now using new agents on ci.jenkins.io, we may discover other issues, feel free to report them on issues.jenkins-ci.org in the INFRA project.

Cheers

---

gpg --keyserver keys.gnupg.net --recv-key 52210D3D

---

On Fri, Mar 20, 2020, at 1:17 PM, selva vignesh wrote:

Hi,

When create a pull request, build getting triggered in jenkins. Due to space issue, build is getting failed. please check. PFA

--

You received this message because you are subscribed to the Google Groups "Jenkins Developers" group.

To unsubscribe from this group and stop receiving emails from it, send an email to jenkinsci-de...@googlegroups.com.

To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-dev/CAOVVkpm-bko_gJ%2B0bXhQSffN6HKmOBJaCv0QmNZNyb98XZdKnQ%40mail.gmail.com.

Attachments:

• Screenshot 2020-03-20 at 5.41.01 PM.png
  

[selva vignesh]

Hi,

I have raised pull request for plugin release. Due to this issue, permission is yet to provide. Can you assist for fast release process 

To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-dev/3c5da79f-fd7a-4cf7-bdc3-cf13e4079db0%40www.fastmail.com.

[Gavin Mogan]

I'm assuming you mean https://github.com/jenkins-infra/repository-permissions-updater/pull/1463 ?

Weekends are usually pretty slow, lots of people have families. I know its frustrating but people are volunteers. Only a limited number of people can merge on that repo.

To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-dev/CAOVVkpmmzPjys8ix-JG4C%3DMuNKo68644S_EFOMtW5_n9U6amcw%40mail.gmail.com.