Degassing

Degassing (degasification) / diˈɡæsɪŋ (ˌdiːɡæsɪfɪˈkeɪʃən)/ – measures to eliminate dangerous concentrations of flammable, explosive and other harmful gases in mine workings.

Ex. Coal mining degasification  was originally developed to improve worker safety in mines.