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?
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.
--
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
