patrol-publish: add CI step verifying that devtools is built

leancodepl · Nov 14, 2023 · ab7d82e · ab7d82e
1 parent 9cfaedc
commit ab7d82e
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/.github/workflows/patrol-publish.yaml b/.github/workflows/patrol-publish.yaml
@@ -43,6 +43,10 @@ jobs:
         working-directory: packages/patrol_devtools_extension
         run: ./publish_to_patrol_extension
 
+      - name: Verify that built DevTools extension is in the correct location
+        working-directory: packages/patrol
+        run: test ! -z "$(ls -lA extension/devtools/build)"
+
       - name: Publish to pub.dev
         id: pub_release
         uses: leancodepl/mobile-tools/.github/actions/pub-release@pub-release-v1