This is already done in the gitlab pipeline, we should also to it on github. Probably won't be totally trivial though
This is already done in the gitlab pipeline, we should also to it on github. Probably won't be totally trivial though