Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
ci: Fix generation of demo index by fetching all history (#4126)
The demo index generation is now based on the git tags. So when checking out the repo to generate the index, the entire history is needed. Closes #4074
- Loading branch information