Github actions: checkout won't fetch tags unless we do a full clone.

Github actions: checkout won't fetch tags unless we do a full clone. #1104