Updates stex to latest, start publishing coverage data