small pio debug changes (#10)

* small pio debug changes * more beetle-pio updates
dadleyy · Aug 30, 2022 · 5ca90bd · 5ca90bd
1 parent 3470951
commit 5ca90bd
Show file tree

Hide file tree

Showing 7 changed files with 218 additions and 124 deletions.
diff --git a/.github/workflows/build-and-publish.yml b/.github/workflows/build-and-publish.yml
@@ -46,6 +46,8 @@ jobs:
         run: pip install --upgrade platformio
       - name: "env prep: fill redis ca"
         run: echo $REDIS_HOST_ROOT_CA > embeds/redis_host_root_ca.pem
+      - name: "pio: check"
+        run: pio check
       - name: "pio: run"
         run: pio run -e release