Skip to content
[Jenkins]Jenkins
log in
Started 1 mo 2 days ago
Took 3 min 39 sec

Build #2673 (Mar 26, 2024, 2:12:11 PM)

PR #948: Introduce PermissionId

GitHub pull request #948 of commit ffe43be3eeea3ad32e7531657365c84065693f42, no merge conflicts.

This run spent:

  • 27 sec waiting;
  • 3 min 39 sec build duration;
  • 3 min 48 sec total from scheduled to completion.