Re: [platform-dev] Allowing bundles to target Java 17 for 2022-06 release

2023-01-24 Thread Aleksandar Kurtakov
On Tue, Jan 24, 2023 at 9:22 PM Jonah Graham wrote: > +1 for moving to Java 17 for BREE. > > IIRC on past BREE upgrades various sub-parts of Platform held back on > older versions. Is the proposal to remove those special cases for the move > to Java 17? > Strictly speaking for eclipse.platform (

Re: [platform-dev] Allowing bundles to target Java 17 for 2022-06 release

2023-01-24 Thread Lars Vogel
+1 for the move Jonah Graham schrieb am Di., 24. Jan. 2023, 20:22: > +1 for moving to Java 17 for BREE. > > IIRC on past BREE upgrades various sub-parts of Platform held back on > older versions. Is the proposal to remove those special cases for the move > to Java 17? > > Jonah > > ~~~ > Jonah G

Re: [platform-dev] Allowing bundles to target Java 17 for 2022-06 release

2023-01-24 Thread Jonah Graham
+1 for moving to Java 17 for BREE. IIRC on past BREE upgrades various sub-parts of Platform held back on older versions. Is the proposal to remove those special cases for the move to Java 17? Jonah ~~~ Jonah Graham Kichwa Coders www.kichwacoders.com On Tue, 24 Jan 2023 at 14:12, Aleksandar Kur

[platform-dev] Allowing bundles to target Java 17 for 2022-06 release

2023-01-24 Thread Aleksandar Kurtakov
Hey everyone, Our test dependencies (e.g. reddeer), our build tool (tycho) and etc. already require Java 17 thus the whole releng is using Java 17 now with no dependency on Java 11 anymore. Due to that there are already test bundles that target Java 17 and use Java 17 language features. Feel free t

Re: [platform-dev] Retriever a build on eclipse.platform

2023-01-24 Thread Mickael Istria
Hi, You simply need to login, go to the particular build page and you should see a "rebuild" or "retrigger" icon on the left that you can click. I don't think it's worth documenting it in Platform as it's purely about Jenkins usage which is really well documented by the Jenkins project itself.

Re: [platform-dev] Retriever a build on eclipse.platform

2023-01-24 Thread Andrey Loskutov
You probably mean https://github.com/eclipse-platform/eclipse.platform/pull/314 ? Project members can trigger jenkins build directly. Non-project members can do a force push of a commit in the PR (e.g. by providing even better commit message). For the wiki - should be here: https://github.com/

[platform-dev] Retriever a build on eclipse.platform

2023-01-24 Thread Hoepfner, Marcus via platform-dev
How can I retrigger a build in repo https://github.com/eclipse-platform/eclipse.platform? Do we have this information somewhere (e.g. contributing.md)? I did not find it. Could we add it there? ___ platform-dev mailing list platform-dev@eclipse.org To u