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: |