For what it's worth, I would generally prefer to prune succulents in dormancy unless I am interested in rooting the pruning as a cutting. Beyond just pinching, which you kind of want to do as early as possible during the season of active growth, to leave the minimum scar.