Skip to content
[Jenkins]Jenkins
log in
Started 5 hr 13 min ago
Took 26 min

Build #4391 (May 9, 2024, 6:58:20 PM)

PR #7330: Correct typos mentioning cl...
ZISVJD10

GitHub pull request #7330 of commit 59be3a5a24738c6f95c233bbfe64c0f9dcba1da0, no merge conflicts.

This run spent:

  • 7.7 sec waiting;
  • 26 min build duration;
  • 26 min total from scheduled to completion.