Started 2 mo 24 days ago
Took 37 min

Success Build #425 (Aug 19, 2019 6:50:58 PM)

Changes
  1. [516758] HTML Editor doesn't recognize the HTML5 "main" tag (detail)

Triggered by Gerrit: https://git.eclipse.org/r/147952

Revision: 41a1f8c587e1d34567fe9317054b6176d0b48e28
  • refs/changes/52/147952/2
Test Result (no failures)
    collapseParameters
     tychoVersion
     MAVEN_FLAGS
     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