Minor CI script cleanup