Minor CI changes