This MR patches hveto.yaml to omit a failing test, see https://github.com/gwdetchar/hveto/issues/155.