Parallel build in CI

2019-03-21 19:07:08 +01:00
parent 06de6632da
commit d5abe16c28
1 changed files with 1 additions and 1 deletions
@@ -20,4 +20,4 @@ build:
        image_tag: $IMAGE_TAG
        pull: true
    ci:
-        - /opt/gnat/bin/gprbuild -p -P alire_env
+        - /opt/gnat/bin/gprbuild -j0 -p -P alire_env