I'm fine with moving to GitHub actions. The experiment you posted up looked pretty nice. I'm not clear on how resources are allocated from GitHub, but as long as there's capacity, let's try it.
Thanks, Nick On Sat, Aug 15, 2020 at 8:49 AM Allen Wittenauer <a...@effectivemachines.com.invalid> wrote: > > With the primary Jenkins shutting down, I guess we should make a > decision. FWIW, I'm perfectly happy to drop Jenkins and use GitHub actions > given how many of us run test-patch on Jenkins for our $DAYJOBS. > > Thoughts? > >
