Cleanup ci-driver.sh after 0.4.3 and 0.4.5 is a thing of the past
This is a placeholder ticket for !586 (closed) which does some general clean-up of our CI driver script.
This is a placeholder ticket for !586 (closed) which does some general clean-up of our CI driver script.