mining (n.)

1520s, "the business or work of a miner," verbal noun from mine (v.1). From c. 1300 as "the undermining of walls or towers in a military attack." Mining-camp "temporary settlement for mining purposes" is by 1853, in a California context.