[edk2-devel] failed Pr

[Michael D Kinney]

After looking at GitHub Action features the best approach is likely
a PR comment that provides a request to rerun all failed jobs.

We can define a comment format to indicate a command to a tianocore bot.

Mike




> -----Original Message-----
> From: Ard Biesheuvel <ardb at kernel.org>
> Sent: Tuesday, May 30, 2023 7:36 AM
> To: devel at edk2.groups.io; Kinney, Michael D <michael.d.kinney at intel.com>
> Cc: Sean Brogan <spbrogan at outlook.com>; Rebecca Cran <rebecca at bsdio.com>;
> Kubacki, Michael <michael.kubacki at microsoft.com>; Gao, Liming
> <gaoliming at byosoft.com.cn>
> Subject: Re: [edk2-devel] failed Pr
> 
> On Mon, 29 May 2023 at 18:45, Michael D Kinney
> <michael.d.kinney at intel.com> wrote:
> >
> > Hi Sean,
> >
> >
> >
> > I see the “rerun” button on the “checks” page of GitHub from my login.
> >
> >
> >
> > We have a mix of both Azure Pipelines and GitHub Actions today, so I
> think it is important to see the “rerun” from GitHub view for Maintainers.
> >
> 
> Yes, that would be lovely.
> 
> >
> >
> > This github page describes the feature, but not the permissions required.
> >
> >
> >
> > https://docs.github.com/en/actions/managing-workflow-runs/re-running-
> workflows-and-jobs
> >
> >
> >
> > We currently have EDK II Maintainer Team set to “Triage Role”
> permissions.  From the table below, only “Write” and above are allowed to
> re-run.
> >
> >
> >
> > https://docs.github.com/en/organizations/managing-user-access-to-your-
> organizations-repositories/repository-roles-for-an-
> organization#permissions-for-each-role
> >
> >
> >
> > “Write” permissions add a lot of options, so I think we should discuss
> tradeoffs in the next Tools/CI meeting.
> >
> >
> >
> > One option is to add a bot based on a new label to request failed jobs to
> be re-run.  The bot can use a token with permissions to re-run.
> >
> 
> This would work for me - as long as I don't have to make changes to
> the branch, I'm happy with whatever we come up with.


-=-=-=-=-=-=-=-=-=-=-=-
Groups.io Links: You receive all messages sent to this group.
View/Reply Online (#105453): https://edk2.groups.io/g/devel/message/105453
Mute This Topic: https://groups.io/mt/99199003/1813853
Group Owner: devel+owner at edk2.groups.io
Unsubscribe: https://edk2.groups.io/g/devel/leave/3943202/1813853/130120423/xyzzy [edk2-devel-archive at redhat.com]
-=-=-=-=-=-=-=-=-=-=-=-