Logs for tool:host-bragi-headers in build 2026-04-05T01:00:02 of Managarm (RISC-V 64-bit)

Source code revision: 7dd752a32877380cd2d8455466005e44ddb7b4d8

Build state: Successfully built

Build started 13 hours ago and took 7 hours

Execution 8OEBqIUz_kFoEPcufXek-A of tool:host-bragi-headers

State: Successfully built on builder grieg.mrvn.lan

Job prepared and queued 13 hours ago

Job finished 13 hours ago and took 8 seconds

Show log