Kokkuvõttes võttis katedraali ülesehitamine aega vaid viis aastat ja kaheksa kuud. Siiski pole kirik pärast ülesehitamist endine, kuigi 12. sajandil rajatud pühakoda on sajandite jooksul korduvalt laiendatud ja uuendatud.