See my previous email (which was only sent to the infra mailing list) If it doesn’t get included in the email chain then: https://groups.google.com/g/jenkins-infra/c/KkysaBSLs3A
On Thu, 1 Oct 2020 at 13:23, Francisco Robles <[email protected]> wrote: > Hi! I have been trying to re-run the failed check in this PR: > https://github.com/jenkinsci/ec2-plugin/pull/493/checks?check_run_id=1179431212 > (also in another one), I see a note saying "You have successfully requested > Jenkins be rerun." but then in Jenkins there is nothing happening :( > > Any idea why? I become a maintainer of the plugin some weeks ago and I am > still getting in place :) > > El jueves, 10 de septiembre de 2020 a las 0:15:00 UTC+2, > [email protected] escribió: > >> Ah that also explains why I was seeing elements from warnings-ng (javadoc >> errors etc) appear in GH Checks, which I hadn't seen before. Cool. >> >> On Tue, 8 Sep 2020 at 11:19, Manuel Ramón León Jiménez < >> [email protected]> wrote: >> >>> Great, thank you for the heads up. >>> >>> On Tue, Sep 8, 2020 at 9:55 AM Arnaud Héritier <[email protected]> >>> wrote: >>> >>>> Awesome 🙌 >>>> >>>> On Tue, Sep 8, 2020 at 9:53 AM Tim Jacomb <[email protected]> wrote: >>>> >>>>> Hi all >>>>> >>>>> Just an update to let you know that you can now re-run failed builds >>>>> via GitHub checks on ci.jenkins.io. >>>>> (Only maintainers, i.e. write access can do this, authors need to push >>>>> a code change or close / reopen) >>>>> >>>>> This is made possible with the GitHub checks plugin >>>>> <https://plugins.jenkins.io/github-checks/>, by Kezhi as part of GSoC. >>>>> >>>>> See Kezhi's blog post for more details: >>>>> https://www.jenkins.io/blog/2020/08/31/github-checks-api-plugin-coding-phase-3/ >>>>> >>>>> >>>>> Thanks >>>>> Tim >>>>> >>>>> >>>>> >>>>> >>>>> >>>>> >>>>> >>>>> >>>>> -- >>>>> >>>>> >>>>> 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 [email protected]. >>>>> >>>>> >>>>> To view this discussion on the web visit >>>>> https://groups.google.com/d/msgid/jenkinsci-dev/CAH-3BicXBAQKwaZJSMwkhAdhi_XeBfH%2BkwwsvkHWaYc2_OzvVQ%40mail.gmail.com >>>>> <https://groups.google.com/d/msgid/jenkinsci-dev/CAH-3BicXBAQKwaZJSMwkhAdhi_XeBfH%2BkwwsvkHWaYc2_OzvVQ%40mail.gmail.com?utm_medium=email&utm_source=footer> >>>>> . >>>>> >>>>> >>>>> >>>> >>>> -- >>>> Arnaud Héritier >>>> Twitter/Skype : aheritier >>>> >>>> >>>> >>>> >>>> >>>> >>>> >>>> >>>> -- >>>> >>>> >>>> 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 [email protected]. >>>> >>>> >>>> To view this discussion on the web visit >>>> https://groups.google.com/d/msgid/jenkinsci-dev/CAFNCU-_32-XbVtwrnEEdMZ%2B6eEd4ju14dUueMUk5nOjUc6DLJw%40mail.gmail.com >>>> <https://groups.google.com/d/msgid/jenkinsci-dev/CAFNCU-_32-XbVtwrnEEdMZ%2B6eEd4ju14dUueMUk5nOjUc6DLJw%40mail.gmail.com?utm_medium=email&utm_source=footer> >>>> . >>>> >>>> >>>> >>> >>> >>> >>> >>> >>> >>> >>> -- >>> >>> >>> 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 [email protected]. >>> >> >>> >>> To view this discussion on the web visit >>> https://groups.google.com/d/msgid/jenkinsci-dev/CADN1OJ1P%3DsBCqE%2BYZNJbcEYNhnEwixK%3DasuN17A0T%3D6PXB86WA%40mail.gmail.com >>> <https://groups.google.com/d/msgid/jenkinsci-dev/CADN1OJ1P%3DsBCqE%2BYZNJbcEYNhnEwixK%3DasuN17A0T%3D6PXB86WA%40mail.gmail.com?utm_medium=email&utm_source=footer> >>> . >>> >>> >>> >> >> > > > > > > > > -- > > > 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 [email protected]. > > > To view this discussion on the web visit > https://groups.google.com/d/msgid/jenkinsci-dev/37dd04cc-4308-4985-8e2a-44e4d0875b3en%40googlegroups.com > <https://groups.google.com/d/msgid/jenkinsci-dev/37dd04cc-4308-4985-8e2a-44e4d0875b3en%40googlegroups.com?utm_medium=email&utm_source=footer> > . > > > -- 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 [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-dev/CAH-3BidvZC81Wio52mtEd0QusxPoD%3DF5yk6fr0SUEu_OpkKSdA%40mail.gmail.com.
