Skip to content
[Jenkins]Jenkins
log in
Started 1 mo 19 days ago
Took 27 min

Build #4351 (Mar 11, 2024, 6:57:34 PM)

PR #7282: Facilitate recording of con...
ZISVJD10

GitHub pull request #7282 of commit d87f2bbeef064b7a3c779c676aea897327698a3b, no merge conflicts.

This run spent:

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