Skip to content
[Jenkins]Jenkins
log in
Started 13 days ago
Took 33 min on basic-vmm3m

#5072 (Apr 17, 2024, 12:51:30 PM)

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

GitHub pull request #3123 of commit 9d96348deaab6cd2639c5d21e33e0bb3fea84ce1, no merge conflicts.

This run spent:

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