Skip to content
[Jenkins]Jenkins
log in
Started 11 days ago
Took 2 min 35 sec on basic-dwdh3

#2202 (Apr 13, 2024, 1:41:18 AM)

PR #500: Update extension
No changes.

GitHub pull request #500 of commit 5530c90bc9930efb5f556198309c3631c8e577b8, no merge conflicts.

This run spent:

  • 16 sec waiting;
  • 2 min 35 sec build duration;
  • 2 min 51 sec total from scheduled to completion.