mirror of
https://github.com/davidhalter/jedi.git
synced 2026-10-27 20:23:17 +08:00
Fix a formatting issue in CI
This commit is contained in:
1 parent
f454989859
commit
94e78340e1