Richiesta di permessi sindacali durante la cassa integrazione

I permessi sindacali sono coperti dalla cassa integrazione o devono essere retribuiti dal datore di lavoro?