Skip to content
[Jenkins]Jenkins
log in
Started 17 hr ago
Took 1 hr 2 min on basic-m9g1s

#5075 (Apr 18, 2024, 11:44:53 AM)

PR #2371: Add setting to make fields ...
No changes.

GitHub pull request #2371 of commit f972bdeb1625c73e591db481b98199e308f7bff4, no merge conflicts.

This run spent:

  • 20 sec waiting;
  • 1 hr 2 min build duration;
  • 1 hr 3 min total from scheduled to completion.
Revision: 47a33dbc67fba73d2db8d0dd6c0fc661b4d2cf10
Repository: https://github.com/eclipse-jdtls/eclipse.jdt.ls.git
  • refs/remotes/origin/pr/2371/merge
Test Result (no failures)