Skip to content
[Jenkins]Jenkins
log in
Started 20 days ago
Took 27 sec on ports
Success

#18 (Apr 15, 2024, 7:04:53 PM)

PR #479: Do not vendor inih
No changes.

GitHub pull request #479 of commit 2693b317fdc6ce394c561f6b0051465fa74ba41b, no merge conflicts.

This run spent:

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