This finishes the CI setup after an initial merge that was necessary to start running CI on the project.