Government says it recorded an increase in the mining sector’s contribution to the country’s Gross Domestic Product (GDP) in the first half of 2018 as compared to the same period in 2017.