On Sat, Apr 20, 2024, 7:19 PM Chris Johns <chr...@rtems.org> wrote:
> On 19/4/2024 7:15 pm, andrew.butterfi...@scss.tcd.ie wrote: > > Will you also do this with the formal code in rtems-central/formal ? > > Sorry, I do not use it so would prefer not to update it just yet. I think > it > best left to the leaders of that repo. > > > I do remember using yapf at some point – I have no problem in your doing > this here. > > Great. > > > I expect to be proposing an update to the formal stuff > > (models,code,documentation) over the Summer period as well. > > Great and looking forward to see the results. We will be on GitLab soon > and that > will help us all with merge requests as well as coordinating these > activities, > for example GitLab has Epics. > Checking that Python source is properly formatted sounds like a nice low hanging CI job once we have switched over and things have settled. > > Chris >
_______________________________________________ devel mailing list devel@rtems.org http://lists.rtems.org/mailman/listinfo/devel
