A pull request to test the new CI server

Excuse the noise.