[...]

ended at: Sat Jul 22 11:31:28 2023, done in 0:00:01.449743
error: No files produced.
+ chmod -R u+rwX /tmp/B.nd5_lrdh/BUILD
+ rm -rf /tmp/B.nd5_lrdh/tmp /tmp/B.nd5_lrdh/BUILD
+ rm -rf /tmp/B.nd5_lrdh
Begin-TLD-Builder-Info
Build-Time: user:0.72s sys:0.29s real:2.05s (faults io:38 non-io:60013)
End-TLD-Builder-Info