Add --force for git fetch --tags in github action.#7

hzhangxyz merged 1 commit into

mainUSTC-KnowledgeComputingLab/grassmann-tensor:mainfrom

dev/fix-fetch-tag-again-again-againUSTC-KnowledgeComputingLab/grassmann-tensor:dev/fix-fetch-tag-again-again-againCopy head branch name to clipboard