1/1: Building perf (perf.idr)
LOG 0: Progress
LOG 0: Progress
LOG 0: Progress
LOG 0: Progress
LOG 0: Progress
LOG 0: Progress
LOG 0: Progress
LOG 0: Progress
LOG 0: Progress
LOG 0: Progress
LOG 0: Progress
LOG 0: Progress
