How often is People synced with EduRec/CMIS?
From 18 June, the list of students (from EduRec) and instructors (from CMIS) will be synced once daily.
Do note that the People list will be empty until enrollment for the semester begins. This will be in late July.