language: scala

services:

env:
    - SIREUM_PARALLEL_BUILD=false

build:
    pre_ci:
    pre_ci_boot:
        image_name: sireum/v3
        image_tag: latest
        pull: true
        options: "-e HOME=/root"
    ci:
        - export JAVA_OPTIONS="-Xmx2G -XX:+UseG1GC -XX:ReservedCodeCacheSize=1G -Xss2m -XX:+CMSClassUnloadingEnabled"
        - bin/sbt-launch.sh clean test:compile test
    post_ci:
    on_success:
    on_failure:
    push:
    cache: true

language: none

services:

env:
    - SIREUM_PARALLEL_BUILD=false

build:
    pre_ci:
    pre_ci_boot:
        image_name: sireum/v3
        image_tag: latest
        pull: true
        options: "-e HOME=/root"
    ci:
        - export JAVA_OPTIONS="-Xmx2G -XX:+UseG1GC -XX:ReservedCodeCacheSize=1G -Xss2m -XX:+CMSClassUnloadingEnabled"
        - bin/sbt-launch.sh clean test:compile test
    post_ci:
    on_success:
    on_failure:
    push:
    cache: true

Set language to none since we are using custom Docker.
Set language to none since we are using custom Docker.
