#143 (Apr 12, 2024, 10:43:41 PM)

1. ~ s/RoleManager/RoleMapper (commit: 6d5b82a) (details / githubweb)

GitHub pull request #1256 of commit 6d5b82ae956343f65b55a74fe7551bca6f1b64e2, no merge conflicts.

This run spent:

• 17 sec waiting;
• 3 min 8 sec build duration;
• 3 min 26 sec total from scheduled to completion.

• detached