1/1: Building Dummy (Dummy.idr)
Now compiling the executable: check_dir
Found build directory
