Hi!
> > Should I add instructions to launch a
> > manual build to ssh into the different build environments for the purpose
> > of debugging in the PR description as well ?
>
> If you're up for it, yes, that would be good information to have in one
> place.
>
I have instructions for debug builds in the PR description as well.
Regards,
Kartik