Skip to content
Started 1 mo 7 days ago
Took 4 min 53 sec on basic-7k1nn

#136 (Apr 3, 2024, 2:09:14 PM)

PR #1256: Implement Roles and Permiss...
Changes
  1. ~ merge duplicate keys when calling `toMap` (commit: 867b238) (details / githubweb)

GitHub pull request #1256 of commit 867b2386301911e303c0090271b58dcefb6bd735, no merge conflicts.

This run spent:

  • 23 sec waiting;
  • 4 min 53 sec build duration;
  • 5 min 16 sec total from scheduled to completion.
Revision: 867b2386301911e303c0090271b58dcefb6bd735
Repository: https://github.com/eclipse/milo/
  • detached