File tree Expand file tree Collapse file tree 2 files changed +2
-12
lines changed
Expand file tree Collapse file tree 2 files changed +2
-12
lines changed Original file line number Diff line number Diff line change 2020 - name : Setup workspace
2121 run : ./scripts/setup-workspace.sh -q -DskipTests
2222 - name : Build Android port
23- run : |
24- source tools/env.sh
25- echo "JAVA_HOME=$JAVA_HOME"
26- java -version
27- echo "JAVA_HOME_17=$JAVA_HOME_17"
28- "$JAVA_HOME_17/bin/java" -version
29- ./scripts/build-android-port.sh -q -DskipTests
23+ run : ./scripts/build-android-port.sh -q -DskipTests
Original file line number Diff line number Diff line change 2020 - name : Setup workspace
2121 run : ./scripts/setup-workspace.sh -q -DskipTests
2222 - name : Build iOS port
23- run : |
24- source tools/env.sh
25- echo "JAVA_HOME=$JAVA_HOME"
26- java -version
27- ./scripts/build-ios-port.sh -q -DskipTests
23+ run : ./scripts/build-ios-port.sh -q -DskipTests
You can’t perform that action at this time.
0 commit comments