Example build fails with No such file or directory: 'mbed-os-example-xx-yyy'

[studavekar]

Failure snippet , the root cause is git clone failing.

00:08:07.996 ---
00:08:14.542 Traceback (most recent call last):
00:08:14.542   File "../mbed-os/tools/test/examples/examples.py", line 128, in <module>
00:08:14.542     sys.exit(main())
00:08:14.542   File "../mbed-os/tools/test/examples/examples.py", line 79, in main
00:08:14.542     return args.fn(args, config, examples)
00:08:14.542   File "../mbed-os/tools/test/examples/examples.py", line 114, in do_compile
00:08:14.542     results = lib.compile_repos(config, args.toolchains, args.mcu, examples)
00:08:14.542   File "/builds/ws/mbed-os-build-matrix/3f3fa7a3/mbed-os/tools/test/examples/examples_lib.py", line 350, in compile_repos
00:08:14.542     os.chdir(name)
00:08:14.543 OSError: [Errno 2] No such file or directory: 'mbed-os-example-ble-Thermometer'
00:08:14.564 Total example binary build : 1

Actually it fails to clone the repo mbed-os-example-ble-Thermometer

00:04:58.429 14 files updated, 0 files merged, 0 files removed, 0 files unresolved
00:05:03.325 
abort: HTTP Error 500: INTERNAL SERVER ERROR

Description

• Type: Enhancement
• Priority: Major

---

Bug

Target
ANY

Toolchain:
GCC_ARM|ARM|IAR

[studavekar]

closing as fix is been merged.