CI: Add py_decl firmware/filesystem overlap check.

pimoroni · Jun 19, 2024 · a4d877c · a4d877c
1 parent c175ff2
commit a4d877c
Showing 1 changed file with 12 additions and 0 deletions.
diff --git 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 }}
+
     - name: Append Filesystem
       shell: bash
       run: |