[jgit-dev] missing Jenkins job jgit.gerrit-pipeline.java11

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

[jgit-dev] missing Jenkins job jgit.gerrit-pipeline.java11

From: Matthias Sohn <matthias.sohn@xxxxxxxxx>
Date: Thu, 24 Aug 2023 20:58:15 +0200
Delivered-to: jgit-dev@xxxxxxxxxxx
List-archive: <https://www.eclipse.org/mailman/private/jgit-dev/>
List-help: <mailto:jgit-dev-request@eclipse.org?subject=help>
List-subscribe: <https://www.eclipse.org/mailman/listinfo/jgit-dev>, <mailto:jgit-dev-request@eclipse.org?subject=subscribe>
List-unsubscribe: <https://www.eclipse.org/mailman/options/jgit-dev>, <mailto:jgit-dev-request@eclipse.org?subject=unsubscribe>

It seems the Jenkins job jgit.gerrit-pipeline.java11 went missing.

It still worked here on Aug 05

https://git.eclipse.org/r/c/jgit/jgit/+/203248

Any clue what happened to it ?

I lack permissions to look at the global job config history here

https://ci.eclipse.org/jgit/jobConfigHistory/

-Matthias

Follow-Ups:
- Re: [jgit-dev] missing Jenkins job jgit.gerrit-pipeline.java11
  - From: Matthias Sohn

Prev by Date: [jgit-dev] JGIT 6.6.0 still using javax ?
Next by Date: Re: [jgit-dev] missing Jenkins job jgit.gerrit-pipeline.java11
Previous by thread: [jgit-dev] JGIT 6.6.0 still using javax ?
Next by thread: Re: [jgit-dev] missing Jenkins job jgit.gerrit-pipeline.java11
Index(es):
- Date
- Thread

Back to the top