HR and the manager have no way of knowing what anyone's religious observation preferences and desired workplace accommodations are without being explicitly told, no matter what religion they have been informed the employee practices. People vary enormously in their observances, even given apparently clearly-stated rules. It would be presumptuous to assume anything.