Skip to content
[Jenkins]Jenkins
log in
Started 3 yr 7 mo ago
Took 13 min

#500 (Sep 15, 2020, 8:42:02 AM)

Changes
  1. [566997] remove extra scriptlet indentation (details)
Revision: 1e8d7089bbfc7985610f90b142009a5d69dbff2d
Repository: https://git.eclipse.org/r/sourceediting/webtools.sourceediting
  • refs/changes/70/169370/2
Test Result (no failures)
    FindBugs: No warnings
    • No issues for 4 builds, i.e. since build: #497
    Parameters
    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_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