Add an empty test to make CircleCI happy