(BIN) pipeline-github.hpi