LeanSearch 404

Stream: general

[Edward van de Meent]

i seem to be getting a 404 error when going to https://leansearch.net...

[Bolton Bailey]

https://www.leanexplore.com/ s time to shine :slight_smile:

[Edward van de Meent]

you mean the website is at a new url now, or that this is a different site with the same functionality?

[Bolton Bailey]

The latter

[Luigi Massacci]

The only problem with https://www.leanexplore.com/ is that it doesn't have a link to the documentation entry. Or at least I haven't seen it while using it today, but it might be a case of defective user

[Justin Asher]

@Luigi Massacci Can fix that. Been busy lately! Will give it a look later tonight. Also need to update the index to 4.20.0…

[Justin Asher]

@Luigi Massacci Here, added the feature:

#general > Discussion: LeanExplore @ 💬

Just click on the title (not file path) and it will take you there.

[Edward van de Meent]

looks like in the meantime leansearch is back up

[Luigi Massacci]

Justin Asher said:

Here, added the feature:

Terrific, that was scary fast!