Logs for tool:host-bragi-headers in build 2026-07-12T01:00:01 of Managarm (RISC-V 64-bit)

Source code revision: 14bfb50a03a6441ab1299281a5e4f1ec5aae1b76

Build state: Successfully built

Build started 7 days ago and took 7 hours

Execution l0X_6Kcbd5KpkQh7zi3guw of tool:host-bragi-headers

State: Successfully built on builder sunset

Job prepared and queued 7 days ago

Job finished 7 days ago and took 8 seconds

Show log