[rdf4j-dev] migrating to new Jenkins infrastructure

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

[rdf4j-dev] migrating to new Jenkins infrastructure

From: Jeen Broekstra <jeen.broekstra@xxxxxxxxx>
Date: Sat, 4 Jan 2020 12:24:24 +1100
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>

Heads up that Eclipse have started migrating us to a new Jenkins infrastructure. See https://bugs.eclipse.org/bugs/show_bug.cgi?id=558786 .

Even though we don't use Jenkins for PR or branch verification anymore, we still need it to run release deployments. I'll keep an eye on things to make sure we don't get caught out when we want to do a new release.

Cheers,

Jeen

Prev by Date: Re: [rdf4j-dev] Squashing before merging
Next by Date: [rdf4j-dev] Fires down under
Previous by thread: [rdf4j-dev] Tests for RepositoryFederatedService
Next by thread: [rdf4j-dev] Fires down under
Index(es):
- Date
- Thread

Breadcrumbs