Closed grische closed 4 years ago
@nutti if #47 were merged, this would allow us to test this PR here
@nutti I would prefer to wait until the Github Actions is enabled on PRs before merging this. It is a perfect candidate to test the new CI.
@grische
Thanks! I confirmed the CI is passed and merged this PR.
Purpose of the pull request
Speeds up tag switching tremendously
Description about the pull request Instead of fetching the full master, fetching a tag and then switching, just shallow fetch the tag directly and switch. Speeds up the fetching during building from 2min to 15 seconds for me.
Also, rename
branch_name
totag_name
as no branches are being used here.Additional comments [Optional]
I tested the commit with my current Github Actions. As far as I can tell, this should not interfere anywhere.