Having versioned github actions provide consistent CI runs for the older branch which we will not get with the latest/dev version of actions.