Zulip Chat Archive

Stream: Codewars

Topic: Real Chebyshev


Kenny Lau (May 17 2020 at 08:27):

Why can't I find Real Chebyshev in https://www.codewars.com/kata/search/lean?q=& ?

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: Dec 20 2023 at 11:08 UTC