Skip to content
[Jenkins]Jenkins
log in
Started 1 mo 18 days ago
Took 5 min 7 sec on basic-08w4d

#2171 (Mar 11, 2024, 2:21:22 AM)

PR #484: Graph semistructured
No changes.

GitHub pull request #484 of commit de4daa13dd76e38959715e5e91322eda9716eee1, no merge conflicts.

This run spent:

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