Dummy commit for CI testing

This commit should only exist on the public repo