Esta iglesia de estilo barroco fue construida entre 1709 y 1730. Las dos torres de los campanarios fueron agregadas en 1739.
La principal característica de San Ildefonso es su fachada decorada con alrededor de 11.000 azulejos en azul y blanco, creados en 1932 por el artista Jorge Colaço. Las escenas representan la vida de San Ildefonso y partes del Evangelio.
