File tree Expand file tree Collapse file tree 1 file changed +10
-10
lines changed Expand file tree Collapse file tree 1 file changed +10
-10
lines changed Original file line number Diff line number Diff line change @@ -42,16 +42,6 @@ pipeline:
42
42
- git submodule update --init --recursive --jobs 7
43
43
- ./project/scripts/sbt community-build/test
44
44
45
- test_bootstrapped_java11 :
46
- group : test
47
- image : lampepfl/dotty:2019-04-22
48
- commands :
49
- - export JAVA_HOME="/usr/lib/jvm/java-11-openjdk-amd64/"
50
- - cp -R . /tmp/6/ && cd /tmp/6/
51
- - ./project/scripts/sbt ";compile ;test"
52
- # when:
53
- # event: [ push, tag, deployment ]
54
-
55
45
test_sbt :
56
46
group : test
57
47
image : lampepfl/dotty:2019-04-22
@@ -71,6 +61,16 @@ pipeline:
71
61
when :
72
62
event : [ push, tag, deployment ]
73
63
64
+ test_java11 :
65
+ group : test
66
+ image : lampepfl/dotty:2019-04-22
67
+ commands :
68
+ - export JAVA_HOME="/usr/lib/jvm/java-11-openjdk-amd64/"
69
+ - cp -R . /tmp/6/ && cd /tmp/6/
70
+ - ./project/scripts/sbt ";compile ;test"
71
+ when :
72
+ event : [ push, tag, deployment ]
73
+
74
74
# DOCUMENTATION:
75
75
documentation :
76
76
image : lampepfl/dotty:2019-04-22
You can’t perform that action at this time.
0 commit comments