https://pantsbuild.org/ logo
#general
Title
# general
r

refined-addition-53644

12/07/2021, 5:25 PM
s

shy-advantage-49800

12/07/2021, 5:26 PM
h

hundreds-father-404

12/07/2021, 5:27 PM
Thanks! Where did this link originate from?
r

refined-addition-53644

12/07/2021, 5:43 PM
It's mentioned on this page https://www.pantsbuild.org/docs/python-linters-and-formatters section
How to activate MyPy
h

happy-kitchen-89482

12/07/2021, 5:43 PM
Fixed, thanks!
❤️ 1
h

hundreds-father-404

12/07/2021, 5:44 PM
Thanks for the report! Very much appreciated!
r

refined-addition-53644

12/07/2021, 5:45 PM
Still broken? Or do I need to clean my browser cache?
h

hundreds-father-404

12/07/2021, 5:45 PM
(Reminder that we really need to hook up a crawler to the site to look for dead links)
Maybe force reload the page. It works for me
r

refined-addition-53644

12/07/2021, 5:47 PM
Tried with incognito on firefox and still broken for me.
h

hundreds-father-404

12/07/2021, 5:48 PM
Oh wait which link are you trying to go to? https://www.pantsbuild.org/docs/python-typecheck-goal was deleted because the goal is now called
check
instead of
typecheck
I mean that Benjy fixed the link from https://www.pantsbuild.org/docs/python-linters-and-formatters to use the right link now
r

refined-addition-53644

12/07/2021, 5:50 PM
Just to be sure we are talking about the same thing. This has a link which is broken
h

hundreds-father-404

12/07/2021, 5:51 PM
Okay yeah, that's what I'm talking about also - that is working for me as of Benjy's update, weird 🤔
1
r

refined-addition-53644

12/07/2021, 5:52 PM
It works now! I guess there was some huge lag
👀 1
🙌 1