Re: [jdt-dev] what exactly does the PR job on jenkins build?

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]

Re: [jdt-dev] what exactly does the PR job on jenkins build?

From: Jörg Kubitz <jkubitz-eclipse@xxxxxx>
Date: Tue, 18 Jun 2024 21:30:51 +0200
Delivered-to: jdt-dev@xxxxxxxxxxx
List-archive: <https://www.eclipse.org/mailman/private/jdt-dev/>
List-help: <mailto:jdt-dev-request@eclipse.org?subject=help>
List-subscribe: <https://www.eclipse.org/mailman/listinfo/jdt-dev>, <mailto:jdt-dev-request@eclipse.org?subject=subscribe>
List-unsubscribe: <https://www.eclipse.org/mailman/options/jdt-dev>, <mailto:jdt-dev-request@eclipse.org?subject=unsubscribe>
Ui-outboundreport: notjunk:1;M01:P0:XAQUcZYgOco=;hX9Kox5qmcyA1y641vyv0VyLQDY DmO0Ez2C5Y1NnTqm3zTS09tfxaLuGW760R6VpsZSerDXJIVZ/GixEafgQWQZzRfweMD24mdRu hr0FURtwZI/vgQY/+iw3hIvQ6z6vM0CNakdQviDV1tRNlTDp0LcitEZxzy7MMDId26i7Q7SAz Exmm5TOJndEyU1YelNECPp7w48KShxmiIHnbRFdcyHrGxS418XI2l4zIDZ2uH5Z94/8oCyW3m zVOLSnctt1wTZF+rrPJoa65GCCAwHXLgrQRk0aHJJDFMyL/xc2L4m72ovHS92aCnpXpo8+GWU scjzyrkn1xm6c2W7snQL9V8dI0C3M4nVT1MdpSa3L6ortF3tptzEiGmECd587hRTEzeI8JAT0 oSno+gU7pp2VUgInFTswbHuR3s8i/qQXckVKJfKUV0+a5uw9pUaYcQz5kPsytmK/1yxFmh0PZ HqwlADYoSZuGCgpe71MDgrFAFALLKYIQrYSZI72s9vZ/6ksguLUKFmPYVoR6mVxQQInHNShHZ JtplWWfL+O2f/tZ3qFvExJzxUg45DfBSpva7iUKPtgyUs3QSG9jew3aRw+521MhnrYgBOXrAO teOh9wrsDjN7Bec4icaHXzbFW8enXgzRXzOwAGjLju84XlZvXFjJQoxFazrObkCMaFqZVX/iU 6V7qh5fe9NPxp8MhnlGkqSqgoSExWkn6YPlHVA7yVMISQnFaWe+pvlhoP+2A7EAzlr5EEMnwd QJTJyJdpyEzZ1R2l0PDVJ0dlPHoCdzUruZCDMph9S+5h1+9sFXr0omVtTZh7Rn8t+qVGkZODw aEjS7ro1XwgnWKhNFFLZNSlVnc39jzsiSMRJMLUx1EJHM=
User-agent: Mozilla Thunderbird

Its a configuration that was changed by Andrey ~1 year ago, because he
wanted to see a tests on what exactly was submited. As long as you
rebase to head - as we usually do - there is no rebase anyway.

Am 18.06.2024 um 21:03 schrieb Stephan Herrmann via jdt-dev:

Some time I ago I checked that each PR build actually builds the
result of locally merging the PR with master (or whatever target branch).

Re-checking today, it looks like the HEAD of the PR is built directly.
This would imply that a successful PR build does not inform us about
the result after the PR is eventually merged, which looks risky to me.

Has any such change been applied intentionally?

Follow-Ups:
- Re: [jdt-dev] what exactly does the PR job on jenkins build?
  - From: Stephan Herrmann

References:
- [jdt-dev] what exactly does the PR job on jenkins build?
  - From: Stephan Herrmann

Prev by Date: [jdt-dev] what exactly does the PR job on jenkins build?
Next by Date: Re: [jdt-dev] what exactly does the PR job on jenkins build?
Previous by thread: [jdt-dev] what exactly does the PR job on jenkins build?
Next by thread: Re: [jdt-dev] what exactly does the PR job on jenkins build?
Index(es):
- Date
- Thread

Breadcrumbs