Skip to content

Instantly share code, notes, and snippets.

@sharkdp

sharkdp/_multiplay_metadata.json

Created April 21, 2026 16:09
Show Gist options

  • Select an option

    Learn more about clone URLs
  • Save sharkdp/c87d67bcfd4e8ce999cd8af76069ee3c to your computer and use it in GitHub Desktop.

Select an option

Learn more about clone URLs
Save sharkdp/c87d67bcfd4e8ce999cd8af76069ee3c to your computer and use it in GitHub Desktop.
Download ZIP
Raw
_multiplay_metadata.json
{"version": 1, "file_mapping": {"main.py": "main.py", "pyproject.toml": "pyproject.toml"}}
Raw
main.py
def f(x="foo"): ...
f("bar")
f(1) # error in pyright
Raw
pyproject.toml
[project]
name = "sandbox"
version = "0.1.0"
requires-python = ">=3.10"
dependencies = ["pulumi"]
[tool.ty]
[tool.ty.rules]
undefined-reveal = "ignore"
[tool.pyright]
reportWildcardImportFromLibrary = false
reportSelfClsParameterName = false
reportUnusedExpression = false
[tool.mypy]
color_output = true
pretty = true
check_untyped_defs = true
[tool.pyrefly]
[tool.pyrefly.errors]
unimported-directive = false
[tool.zuban]
pretty = true
check_untyped_defs = true
[tool.pycroscope]
import_paths = ["."]
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment