Hi,
sorry if this sounds petty, but I am having my progress banners stuck in two projects, e.g. the banner https://backend.codecrafters.io/progress/interpreter/76e41ef1-5ea4-435a-a783-be0d9367e90e for the Interpreter challenge that I almost finished - it’s stuck at 15:
Redis is stuck at 7 but should be 19 (https://backend.codecrafters.io/progress/redis/2ce965b7-29c6-49aa-96e2-0207e00f6247).
Is there something I’m doing wrong (I frequently just push via git push), or is something stuck server side?
Thanks,
Michael
