The time zone is hard-coded for our CI builds in #1 Still, potential contributors might have trouble running the tests in their local time zones.