I believe in the past this repository had a manually triggered Jenkins job which would mirror master to latest as a sort of 'promotion' / 'release'.
Do you recall if that was the case and if there were any more details there @colhom?
We should likely set something like that up agian since latest is quite out of date at this point.
Note that we shouldn't mirror master quite yet since #15 should be resolved first to avoid regressions on latest.
I believe in the past this repository had a manually triggered Jenkins job which would mirror
mastertolatestas a sort of 'promotion' / 'release'.Do you recall if that was the case and if there were any more details there @colhom?
We should likely set something like that up agian since
latestis quite out of date at this point.Note that we shouldn't mirror master quite yet since #15 should be resolved first to avoid regressions on latest.