From 9b9a5fbd37deae2a32bcfe33e614a3d305b303b6 Mon Sep 17 00:00:00 2001
From: Phil Howard <github@gadgetoid.com>
Date: Wed, 19 Jun 2024 23:19:33 +0100
Subject: [PATCH] CI: Add py_decl firmware/filesystem overlap check.

---
 .github/workflows/micropython.yml | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/.github/workflows/micropython.yml b/.github/workflows/micropython.yml
index cf4a42c..f820ed5 100644
--- a/.github/workflows/micropython.yml
+++ b/.github/workflows/micropython.yml
@@ -112,6 +112,13 @@ jobs:
         submodules: true
         path: pimoroni-pico
 
+    - name: "Py_Decl: Checkout py_decl"
+      uses: actions/checkout@v4
+      with:
+        repository: gadgetoid/py_decl
+        ref: v0.0.1
+        path: py_decl
+
     # Check out dir2u2f
     - uses: actions/checkout@v4
       with:
@@ -160,6 +167,11 @@ jobs:
       run: |
         cp firmware.uf2 ${{env.RELEASE_FILE}}
 
+    - name: "Py_Decl: Verify UF2"
+      shell: bash
+      run: |
+        python3 py_decl/py_decl.py --to-json --verify micropython/ports/rp2/build/${{ env.RELEASE_FILE }}.uf2
+
     - name: Append Filesystem
       shell: bash
       run: |