Skip to content
[Jenkins]Jenkins
log in
Started 27 days ago
Took 35 min on basic-gj0md

#5062 (Apr 3, 2024, 8:19:02 AM)

PR #3123: WIP build against JDT/javac
No changes.

GitHub pull request #3123 of commit 3b1a4c6d410e7006758abe24e194a850756c6792, no merge conflicts.

This run spent:

  • 17 sec waiting;
  • 35 min build duration;
  • 35 min total from scheduled to completion.
Test Result (no failures)