With the switch away from Travis to Github actions, the scripts we use for CI have to be updated. Signed-off-by: Daniel Silverstone <dsilvers@digital-scurf.org>