[rdf4j-dev] rebase your develop branch PRs please

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

[rdf4j-dev] rebase your develop branch PRs please

From: "Jeen Broekstra" <jeen@xxxxxxxxxxxx>
Date: Fri, 28 May 2021 13:53:04 +1000
Delivered-to: rdf4j-dev@xxxxxxxxxxx
List-archive: <https://www.eclipse.org/mailman/private/rdf4j-dev/>
List-help: <mailto:rdf4j-dev-request@eclipse.org?subject=help>
List-subscribe: <https://www.eclipse.org/mailman/listinfo/rdf4j-dev>, <mailto:rdf4j-dev-request@eclipse.org?subject=subscribe>
List-unsubscribe: <https://www.eclipse.org/mailman/options/rdf4j-dev>, <mailto:rdf4j-dev-request@eclipse.org?subject=unsubscribe>
User-agent: Cyrus-JMAP/3.5.0-alpha0-468-gdb53729b73-fm-20210517.001-gdb53729b

Hey folks,

Just so you're aware, for the develop branch we are now on Java 11. I had to do some tweaks to the Github Action setup, incuding a change that now blocks older PRs from being merged: the branch protection now requires the "build (11)" job to succeed before merging is unlocked (previously this was "build (1.8)").

To fix your PR, please rebase it against the current develop branch, then force-push.

Cheers,

Jeen

Prev by Date: [rdf4j-dev] starting release process
Next by Date: [rdf4j-dev] Build failed in Jenkins: rdf4j-main-deploy #611
Previous by thread: [rdf4j-dev] starting release process
Next by thread: [rdf4j-dev] Build failed in Jenkins: rdf4j-main-deploy #611
Index(es):
- Date
- Thread

Breadcrumbs