Jules Lasne

icon indicating a website link https://juleslasne.com icon indicating an email [email protected]

icon company GetVocal.ai icon location France icon location Senior Backend-Python/Flask Dev @getvocal Open source Enthusiast

Results 113 comments of Jules Lasne

Add GitHub annotations format for `--output`

I would love to see this merged, many people asked for it in https://github.com/python/mypy/issues/10816 and https://github.com/python/mypy/issues/14962 !

Add GitHub annotations format for `--output`

Since the output format of `json` has been merged, and it seems like they don't want to add another tool, can someone write something to convert from json to github...

Add GitHub annotations format for `--output`

Thanks ! I'm not skilled enough with `jq`, couldn't figure it out (Didn't try with AI). Cheers @pdgendt