Discretionary or mandatory? Until June 23, 2023, the circuits were divided as to whether a stay on the merits of district court proceedings was discretionary or mandatory when a party has appealed the denial of a motion to compel arbitration.