Skip to content
[Jenkins]Jenkins
log in
Started 1 mo 16 days ago
Took 3 min 1 sec on basic-jvv9t

#122 (Mar 26, 2024, 4:33:01 PM)

PR #1245: Convert `AddressSpace` to a...
Changes
  1. ~ WIP blocking Service and AddressSpace APIs (commit: 762b716) (details / githubweb)

GitHub pull request #1245 of commit 762b716c9c0609d81c04ca2f09a89929a2010e0a, no merge conflicts.

This run spent:

  • 15 sec waiting;
  • 3 min 1 sec build duration;
  • 3 min 17 sec total from scheduled to completion.
Revision: 762b716c9c0609d81c04ca2f09a89929a2010e0a
Repository: https://github.com/eclipse/milo/
  • detached