A gas leak was reported Tuesday night near West Virginia University, prompting a temporary closure of a building on campus. The leak was reported along Campus Drive and the Life Sciences Building and was closed while crews made repairs. Students and staff on campus are limited as the spring semester isn’t scheduled to begin until Monday, Jan. 13.