Skip to content
[Jenkins]Jenkins
log in
Started 9 days 18 hr ago
Took 27 min
Success

Build #4427 (Jun 17, 2024, 8:34:46 AM)

PR #7378: Delete TR::SelectOpt, which...
ZISVJD10

GitHub pull request #7378 of commit 803891a474d01fe056ecb99e414ef0627dbd75ed, no merge conflicts.

This run spent:

  • 7.8 sec waiting;
  • 27 min build duration;
  • 27 min total from scheduled to completion.