Topic: Real Chebyshev
Kenny Lau (May 17 2020 at 08:27):
Donald Sebastian Leung (May 17 2020 at 11:51):
Codewars' search index sometimes just fails to update :shrug:
Kenny Lau (May 18 2020 at 13:46):
@Donald Sebastian Leung and why can't I still find it?
Donald Sebastian Leung (May 18 2020 at 15:36):
Codewars' background processes are known to be optimistic so it probably tried to update the search index just once (when the Lean translation to "Real Chebyshev" was accepted) but failed silently for whatever reason. We can ask kazk to manually update the search index if you wish.
Kenny Lau (May 18 2020 at 15:52):
@Donald Sebastian Leung I was afraid that everything stopped updating because indeed there are no new results for 2 days now
Donald Sebastian Leung (May 18 2020 at 16:14):
I'll poke kazk in the Gitter chat to update the search index
Last updated: May 08 2021 at 23:10 UTC