Function file_url

packages/python-analysis/scripts/profile-wasm.py:620–622

Convert a Path to a file:// URL.

(path)

def file_url(path):
    """Convert a Path to a file:// URL."""
    return Path(path).resolve().as_uri()


def render_flamegraph_links(output_dir):