Logs for tool:host-bragi-headers in build 2026-09-16T13:07:56 of Managarm (RISC-V 64-bit)

Source code revision: cdbdb520a68d6b003332ab85f54341e25793dc8d

Build state: Successfully built

Build started a day ago and took 14 minutes

Execution vRH5jgv0iIAKcwj2WYP6Dg of tool:host-bragi-headers

State: Successfully built on builder liszt

Job prepared and queued a day ago

Job finished a day ago and took 9 seconds

Show log