Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Fetch whole repo and tags to find correct version
This is because fetching tags only doesn't work. See actions/checkout#1471 The simplest is to download the whole repo, since it's sufficiently small. The action will take a bit longer, but that's a small price to pay.
- Loading branch information