Expliquez quelles sont les erreurs que vous constatez...
Précisez à quelle librairie vous faites référence avec votre #include <ds3231.h>
Expliquez comment sont câblés les boutons et les LEDs (résistances? )
PS --> pour les N° de pins c'est mieux si vous les déclarez en const byte plutôt que int