This is a general Github workflow we are using.