Started 6 days 5 hr ago
Took 16 min

Success Build #753 (Jul 28, 2020 6:31:55 PM)

Changes
  1. [562357] Remove and cleanup more JavaScript preferences and doc (details)

Triggered by Gerrit: https://git.eclipse.org/r/c/jsdt/webtools.jsdt/+/166863

Revision: a8de6ef988cb5a15be79accf53664bf05be2f94b
  • refs/changes/63/166863/7
Test Result (no failures)
    collapseParameters
     tychoVersion
     MAVEN_FLAGS
    -Dplatform-repo.url=http://download.eclipse.org/eclipse/updates/4.11milestones/
     GERRIT_EVENT_TYPE
     GERRIT_EVENT_HASH
     GERRIT_CHANGE_WIP_STATE
     GERRIT_CHANGE_PRIVATE_STATE
     GERRIT_BRANCH
     GERRIT_TOPIC
     GERRIT_CHANGE_NUMBER
     GERRIT_CHANGE_ID
     GERRIT_PATCHSET_NUMBER
     GERRIT_PATCHSET_REVISION
     GERRIT_REFSPEC
     GERRIT_PROJECT
     GERRIT_CHANGE_SUBJECT
     GERRIT_CHANGE_COMMIT_MESSAGE
     GERRIT_CHANGE_URL
     GERRIT_CHANGE_OWNER
     GERRIT_CHANGE_OWNER_NAME
     GERRIT_CHANGE_OWNER_EMAIL
     GERRIT_PATCHSET_UPLOADER
     GERRIT_PATCHSET_UPLOADER_NAME
     GERRIT_PATCHSET_UPLOADER_EMAIL
     GERRIT_EVENT_ACCOUNT
     GERRIT_EVENT_ACCOUNT_NAME
     GERRIT_EVENT_ACCOUNT_EMAIL
     GERRIT_NAME
     GERRIT_HOST
     GERRIT_PORT
     GERRIT_SCHEME
     GERRIT_VERSION