Agree, removing the case is a lot of effort. Github does a lot of fancy things but you might want to consider how much they're charging by the minute as well

Our way is quite efficient & we're able to quickly adapt to new HW gens