Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
ci: avoid downloading the repository twice
Avoid downloading the repository twice by leveraging the repository already installed by the actions/checkout GitHub Action, instead of downloading it again from GitHub.
- Loading branch information