Skip to content
[Jenkins]Jenkins
log in
Started 1 yr 1 mo ago
Took 27 sec on basic-w80ps

#411 (Mar 13, 2023, 10:30:22 AM)

PR #707: Use Java 11
No changes.

GitHub pull request #707 of commit db539b4e142a014cb98ec68572e652a6e0b4bdf6, no merge conflicts.

This run spent:

  • 19 sec waiting;
  • 27 sec build duration;
  • 47 sec total from scheduled to completion.