I think currently the only time when there is a shortage of GH Actions runners is after pushing a release tag because then we run the full portability suite, which spins up dozens of builds.
On Tuesday, February 7, 2023 at 12:58:04 PM UTC-8 Dima Pasechnik wrote: > > > On Tue, 7 Feb 2023, 20:55 Matthias Koeppe, <matthia...@gmail.com> wrote: > >> On Tuesday, February 7, 2023 at 5:33:04 AM UTC-8 David Roe wrote: >> On Tue, Feb 7, 2023 at 10:28 AM Eric Gourgoulhon <egourg...@gmail.com> >> wrote: >> * Julian and I can work on creating a bot for managing component teams. >> There will be a top level "Components" team, with a sub-team associated to >> each of our existing components. >> * The bot will be contained in a new repo in the sagemath organization, >> and will run on a google cloud instance that Julian sets up (we could run >> it on Github Actions, but that would use up one of our runners that we use >> for linting and doctesting PRs). Julian can give others access to the >> machine, and if Julian disappears for some reason and we want to shut the >> bot down years from now, an organization admin can just revoke the bot's >> permissions. >> >> I would very strongly suggest to do this with GitHub actions instead of >> depending on new ad-hoc infrastructure that needs to be maintained by >> developers. >> > > indeed - I think it was in part based on a misconception that Actions need > a dedicated runner. > >> >> -- >> You received this message because you are subscribed to the Google Groups >> "sage-devel" group. >> To unsubscribe from this group and stop receiving emails from it, send an >> email to sage-devel+...@googlegroups.com. >> > To view this discussion on the web visit >> https://groups.google.com/d/msgid/sage-devel/82f99542-2bab-496b-8dfe-cf36678bbcb2n%40googlegroups.com >> >> <https://groups.google.com/d/msgid/sage-devel/82f99542-2bab-496b-8dfe-cf36678bbcb2n%40googlegroups.com?utm_medium=email&utm_source=footer> >> . >> > -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/241c5db5-d2fb-4195-9eb6-bfd983247fa3n%40googlegroups.com.
