On Tue, Oct 25, 2022 at 2:41 AM Sebastian Huber < sebastian.hu...@embedded-brains.de> wrote:
> On 24/10/2022 21:27, Joel Sherrill wrote: > > I'm not sure how often the GNU tools mirrors are updated for RTEMS > > at GitHub but it would be appreciated if the frequency could be > increased. > > It seems to add a day to any tool update that requires using a git hash > > since > > the mirroring takes a while after the commit. > > Currently, it is updated once per day. What would be your desired update > interval? > Maybe 3 times a day but one which hits between noon and 2pm Central would help a lot. Right now, it is at midnight here which always forces an RSB update to happen a day after a patch is committed. > > In general, our current approach is quite a hack. We should do things > more event driven. For example, if you want to update the RSB, then you > create a pull request. This pull request starts a CI script which > updates the mirrors and builds the RSB on a selected set of platforms. > If everything is all right, the pull request can be merged. > Just getting to the point where a pull request triggered an update would be useful. Assuming a pull request with no content would be ok. --joel > > -- > embedded brains GmbH > Herr Sebastian HUBER > Dornierstr. 4 > 82178 Puchheim > Germany > email: sebastian.hu...@embedded-brains.de > phone: +49-89-18 94 741 - 16 > fax: +49-89-18 94 741 - 08 > > Registergericht: Amtsgericht München > Registernummer: HRB 157899 > Vertretungsberechtigte Geschäftsführer: Peter Rasmussen, Thomas Dörfler > Unsere Datenschutzerklärung finden Sie hier: > https://embedded-brains.de/datenschutzerklaerung/ >
_______________________________________________ devel mailing list devel@rtems.org http://lists.rtems.org/mailman/listinfo/devel