mnist: use mirror only when original server is not available#196

Merged

kou merged 13 commits intored-data-tools:masterfrom

tikkss:mnist-fallback-url

Jul 9, 2024

Commits on Jun 19, 2024

mnist: use mirror only when original server is not available
tikkss
committed

Commits on Jun 22, 2024

Introduce #base_urls instead of BASE_URL

tikkss
and
kou
committed

Commits on Jun 25, 2024

Retry to attempt download until successful

tikkss
and
kou
committed

Commits on Jun 26, 2024

Require at least one URL

tikkss
and
kou
committed
Include the failed URL and fallback URL

tikkss
and
kou
committed

Commits on Jul 1, 2024

Use `->`, `<>` as separator

tikkss
and
kou
committed

Commits on Jul 2, 2024

Use index instead of idx

tikkss
and
kou
committed
Remove < and > from XXX_url

tikkss
and
kou
committed
Propagate raised exception as-is

tikkss
and
kou
committed

Commits on Jul 5, 2024

Commits on Jul 7, 2024

Avoid change @fallback_urls destructively

tikkss
and
kou
committed

Commits on Jul 8, 2024

Avoid an infinite loop

tikkss
and
kou
committed