On 28/4/20 11:10 am, Niteesh G. S. wrote: > The testing method I used had a flaw. Since I don't have access to > RTEMS server, I replaced the URL with GIthub and it seems that > github keeps references to old repos because of this I wasn't getting > an error due to the wrong repo name. Ah OK. Thanks Chris