so for the release PR, should be fine to ship without it as long as the master CI eventually runs.