Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in
Toggle navigation
Menu
Open sidebar
sarah.grebing
ProofScriptParser
Commits
1738f5ca
Commit
1738f5ca
authored
Oct 31, 2018
by
Sarah Grebing
Browse files
Merge remote-tracking branch 'origin/master'
parents
14d7aafa
a06dd22f
Pipeline
#31137
failed with stages
Changes
1
Pipelines
1
Hide whitespace changes
Inline
Side-by-side
.gitlab-ci.yml
View file @
1738f5ca
# This is the Gradle build system for JVM applications
# This is the Gradle build system for JVM applications
# https://gradle.org/
# https://gradle.org/
# https://github.com/gradle/gradle
# https://github.com/gradle/gradle
image
:
key-dev-jdk
10
image
:
key-dev-jdk
8
cache
:
cache
:
paths
:
paths
:
...
@@ -13,9 +13,7 @@ cache:
...
@@ -13,9 +13,7 @@ cache:
# runtime for each build is more reliable since the runtime is completely
# runtime for each build is more reliable since the runtime is completely
# isolated from any previous builds.
# isolated from any previous builds.
variables
:
variables
:
GRADLE_OPTS
:
"
-Dorg.gradle.daemon=false
\
GRADLE_OPTS
:
"
-Dorg.gradle.daemon=false"
--add-modules
java.xml.bind
\
'-Dorg.gradle.jvmargs=--add-modules
java.xml.bind'"
GIT_SSL_NO_VERIFY
:
"
true"
GIT_SSL_NO_VERIFY
:
"
true"
before_script
:
before_script
:
...
@@ -28,32 +26,6 @@ stages:
...
@@ -28,32 +26,6 @@ stages:
-
test
-
test
-
deploy
-
deploy
build:jdk9:
stage
:
build
image
:
key-dev-jdk9
script
:
gradle --build-cache assemble
allow_failure
:
true
cache
:
key
:
"
$CI_COMMIT_REF_NAME"
policy
:
push
paths
:
-
build
-
.gradle
build:jdk10:
stage
:
build
image
:
key-dev-jdk10
script
:
gradle --build-cache assemble
allow_failure
:
true
cache
:
key
:
"
$CI_COMMIT_REF_NAME"
policy
:
push
paths
:
-
build
-
.gradle
build:jdk8:
build:jdk8:
stage
:
build
stage
:
build
variables
:
variables
:
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment