DS3231 RTC soll im 12h Takt den Arduino Pro Mini wecken.

Hallo,

schau Dir dazu das Datenblatt vom DS3231 an.

Man kann mit Masken Bits (mehrere Register jeweils das 7. Bit) ganz leicht einen Sekunden, einen Minuten und einen 30sec. Sekundentakt definieren. Alles abweichende davon muß man mit Alarmuhrzeiten vorgeben. Nun hast Du glücklicherweise einen DS3231. Hier mußte jetzt 2 Alarmzeiten definieren. Zum Bsp. 0:00 Uhr und 12:00 Uhr. Und setzt die Masken Bits entsprechend "Alarm when hour, minutes and seconds match" sind.
Dann haste aller 12 Stunden ein Alarmsignal zur Auswertung.

Und denke dran, das delay muß am Ende raus. Solche Dinge stören den gesamten Ablauf.