diff options
Diffstat (limited to 'scripts/ci/run-jenkins.sh')
-rwxr-xr-x | scripts/ci/run-jenkins.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/scripts/ci/run-jenkins.sh b/scripts/ci/run-jenkins.sh index 3fd9c212dee..6323603cbaa 100755 --- a/scripts/ci/run-jenkins.sh +++ b/scripts/ci/run-jenkins.sh @@ -195,6 +195,7 @@ if [[ ${CI_TAGS} == *'webassembly'* ]]; ${TESTCMD} --label=v8-system-core --timeout=60m make -C sdks/wasm run-v8-system-core ${TESTCMD} --label=sm-system-core --timeout=60m make -C sdks/wasm run-sm-system-core ${TESTCMD} --label=jsc-system-core --timeout=60m make -C sdks/wasm run-jsc-system-core + #${TESTCMD} --label=check-aot --timeout=60m make -C sdks/wasm check-aot ${TESTCMD} --label=package --timeout=60m make -C sdks/wasm package exit 0 fi |