JuliaDocs/Documenter.jl
Ver no GitHubAvoid checking same link multiple times?
Open
#1.700 aberto em 16 de set. de 2021
Type: Enhancementhelp wanted
Métricas do repositório
- Stars
- (910 stars)
- Métricas de merge de PR
- (Mesclagem média 16d 9h) (3 fundiu PRs em 30d)
Description
Right now, every link in the document is checked but in theory each unique URL only needs to be checked once. It's not a big concern, but I have seen some flaky servers that timeout a small fraction of the time, and so checking the link more than once gives more chance of timeout and also means more time waiting for these slow servers