From eda7360222a04434278be25552163cd392dbdcbb Mon Sep 17 00:00:00 2001 From: Sameer Puri Date: Thu, 26 Mar 2026 18:32:37 +0000 Subject: [PATCH] Upgrade pyodide in web fixes import error Prior to this, these web pages fail to load with `ImportError: cannot import name 'TypeIs' from 'typing_extensions' (/lib/python3.11/site-packages/typing_extensions.py)` --- web/heart_rate_monitor/heart_rate_monitor.html | 2 +- web/scanner/scanner.html | 2 +- web/speaker/speaker.html | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/web/heart_rate_monitor/heart_rate_monitor.html b/web/heart_rate_monitor/heart_rate_monitor.html index f44470f..775f609 100644 --- a/web/heart_rate_monitor/heart_rate_monitor.html +++ b/web/heart_rate_monitor/heart_rate_monitor.html @@ -3,7 +3,7 @@ - + diff --git a/web/speaker/speaker.html b/web/speaker/speaker.html index 1a9183d..3d6d510 100644 --- a/web/speaker/speaker.html +++ b/web/speaker/speaker.html @@ -4,7 +4,7 @@ Bumble Speaker - +