Regularity of non-characteristic minimal graphs in the Heisenberg group $mathbbH^1$