Zulip Chat Archive

Stream: Codewars

Topic: Real Chebyshev


view this post on Zulip Kenny Lau (May 17 2020 at 08:27):

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

view this post on Zulip Donald Sebastian Leung (May 17 2020 at 11:51):

Codewars' search index sometimes just fails to update :shrug:

view this post on Zulip Kenny Lau (May 18 2020 at 13:46):

@Donald Sebastian Leung and why can't I still find it?

view this post on Zulip 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.

view this post on Zulip 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

view this post on Zulip 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