Logs for tool:host-bragi-headers in build 2026-09-17T18:19:09 of Managarm (RISC-V 64-bit)

Source code revision: cdbdb520a68d6b003332ab85f54341e25793dc8d

Build state: Successfully built

Build started 17 hours ago and took 15 minutes

Execution bCUtLriAx5kiXf0mlz6iew of tool:host-bragi-headers

State: Successfully built on builder liszt

Job prepared and queued 17 hours ago

Job finished 17 hours ago and took 9 seconds

Show log