Logs for tool:host-bragi-headers in build 2026-09-17T18:19:09 of Managarm (x86_64)

Source code revision: cdbdb520a68d6b003332ab85f54341e25793dc8d

Build state: Successfully built

Build started 16 hours ago and took 29 minutes

Execution bPMvBIIdnvo3SgjlgpgCUg of tool:host-bragi-headers

State: Successfully built on builder sunset

Job prepared and queued 16 hours ago

Job finished 16 hours ago and took 9 seconds

Show log