rename pr pipeline

2018-05-12 18:26:09 -05:00
parent f8c6acd164
commit a4d09ed6ff
1 changed files with 1 additions and 1 deletions
@@ -32,7 +32,7 @@ pipeline:
        exclude: [master, release/*]
        event: push

-  pr_build:
+  docker-pullrequest:
    image: docker
    commands:
      - docker build .