ewoud: Got a moment to advise on a github workflow config?