From 6eef96d9c9bcd8e84aad2dc13f2633d9b72a83a8 Mon Sep 17 00:00:00 2001
From: Phil Howard <phil@gadgetoid.com>
Date: Thu, 6 Jun 2024 18:24:25 +0100
Subject: [PATCH] CI: Revert to v1.23.0.

We'd moved past v1.23.0 to do our release in order to grab:

https://github.com/micropython/micropython/commit/932f76c6ba64c5a3e68de3324556d9979f09303b

But this broke our builds due to:

https://github.com/micropython/micropython/issues/15220
---
 .github/workflows/micropython.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/micropython.yml b/.github/workflows/micropython.yml
index 070d5fb5..027558d6 100644
--- a/.github/workflows/micropython.yml
+++ b/.github/workflows/micropython.yml
@@ -7,7 +7,7 @@ on:
     types: [created]
 
 env:
-  MICROPYTHON_VERSION: 932f76c6ba64c5a3e68de3324556d9979f09303b
+  MICROPYTHON_VERSION: v1.23.0
 
 jobs:
   build: