Eid holiday: Are stock markets NSE & BSE open for trading on June 17?

Trading on the Indian stock market will resume on Tuesday, June 18, according to the BSE and NSE websites