https://gitlab.ow2.org/sat4j/sat4j.git
Tip revision: c73d87f468c81b0beb880775ca428b45dfe1d1c7 authored by Daniel Le Berre on 27 January 2019, 10:51:55 UTC
Merge branch 'EFFICIENCY_FIX' of https://gitlab.ow2.org/sat4j/sat4j into EFFICIENCY_FIX
Merge branch 'EFFICIENCY_FIX' of https://gitlab.ow2.org/sat4j/sat4j into EFFICIENCY_FIX
Tip revision: c73d87f
.gitlab-ci.yml
variables:
# This will supress any download for dependencies and plugins or upload messages which would clutter the console log.
# `showDateTime` will show the passed time in milliseconds. You need to specify `--batch-mode` to make this work.
MAVEN_OPTS: "-Dmaven.repo.local=.m2/repository -Dorg.slf4j.simpleLogger.log.org.apache.maven.cli.transfer.Slf4jMavenTransferListener=WARN -Dorg.slf4j.simpleLogger.showDateTime=true -Djava.awt.headless=true"
# As of Maven 3.3.0 instead of this you may define these options in `.mvn/maven.config` so the same config is used
# when running from the command line.
# `installAtEnd` and `deployAtEnd`are only effective with recent version of the corresponding plugins.
MAVEN_CLI_OPTS: "--batch-mode --errors --fail-at-end --show-version -DinstallAtEnd=true -DdeployAtEnd=true"
java8:
image: maven:3.5.4-jdk-8-alpine
stage: build
script:
- mvn $MAVEN_CLI_OPTS clean org.jacoco:jacoco-maven-plugin:prepare-agent --settings settings.xml deploy
- mvn $MAVEN_CLI_OPTS sonar:sonar
cache:
paths:
- .m2/repository
jars-j8:
image: frekele/ant:1.10.1-jdk8
stage: build
script:
- ant -Drelease=NIGHTLY sat
artifacts:
paths:
- dist/NIGHTLY/*.jar
expire_in: 4 weeks
java7:
image: maven:3.5.4-jdk-7-alpine
stage: test
script:
- mvn $MAVEN_CLI_OPTS clean package -Dmaven.javadoc.skip=true
java11:
image: maven:3.5.4-jdk-11
stage: test
script:
- mvn $MAVEN_CLI_OPTS clean package -Dmaven.javadoc.skip=true
allow_failure: true