docker: build image in any case, run tests and only push on success

jerhard · Jul 3, 2019 · b2b152e · b2b152e
1 parent 1652238
commit b2b152e
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/Dockerfile b/Dockerfile
@@ -15,5 +15,5 @@ COPY --chown=opam . /home/opam/analyzer
 RUN make
 # need UTF-8 for test script, image's default is US-ASCII
 ENV LC_ALL=C.UTF-8
-RUN make test
+# RUN make test
 CMD ./goblint
diff --git a/docker-compose.test.yml b/docker-compose.test.yml
@@ -7,4 +7,4 @@ services:
         - voglerr/goblint:latest
     environment:
       LC_ALL: C.UTF-8
-    command: ./make.sh nat headers testci
+    command: make test