Skip to content
[Jenkins]Jenkins
log in
Started 24 days ago
Took 8 min 57 sec

Build #4372 (Apr 5, 2024, 9:34:25 AM)

PR #7302: WIP: Upgrade pugixml 1.5 to...
ZISVJD10

GitHub pull request #7302 of commit 8942a91f1ac254904cf1d94683cfa44254efa033, no merge conflicts.

This run spent:

  • 9 sec waiting;
  • 8 min 57 sec build duration;
  • 9 min 6 sec total from scheduled to completion.