I20210709-0030
Jenkinsfile+Gerrit Change-Id: Ia36c5f39e7f76b76200439302710dba61d14b29b Reviewed-on: https://git.eclipse.org/r/c/platform/eclipse.platform.ui/+/182804 Tested-by: Mickael Istria <mistria@redhat.com> Reviewed-by: Mickael Istria <mistria@redhat.com>