GRIID INFRASTRUCTURE INC (Adit EdTech Acquisition Corp prior to 01/2024)