Skip to content
[Jenkins]Jenkins
log in
Started 1 mo 7 days ago
Took 20 min
Success

Build #2843 (May 15, 2024, 2:57:07 AM)

PR #1010: JsonOutline: filter default...

GitHub pull request #1010 of commit 59bbc4a3b89c39793477b26dd348e12ad450a027, no merge conflicts.

This run spent:

  • 18 sec waiting;
  • 20 min build duration;
  • 20 min total from scheduled to completion.
Test Result (no failures)