From edcdf51a65e4923222876c6d25e211da844011bf Mon Sep 17 00:00:00 2001 From: Abdessamad Derraz <3028866+Abdess@users.noreply.github.com> Date: Wed, 28 Oct 2026 00:48:27 +0100 Subject: [PATCH] fix: type the shared value reader --- scripts/sitemeasurements.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/scripts/sitemeasurements.py b/scripts/sitemeasurements.py index 7aad327f1..5c61eaf5c 100644 --- a/scripts/sitemeasurements.py +++ b/scripts/sitemeasurements.py @@ -23,6 +23,7 @@ import os import re import sqlite3 import sys +from collections.abc import Callable from dataclasses import dataclass from pathlib import Path @@ -512,7 +513,7 @@ def _build(core: dict) -> str: else _text(core["library"]) -def _shared(items: list[dict], value) -> str | None: +def _shared(items: list[dict], value: Callable[[dict], str]) -> str | None: """The value every item gives, None when they differ.""" values = {value(item) for item in items} return values.pop() if len(values) == 1 else None