Just enough testing to test CI