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

leancodepl · Nov 14, 2023 · bd9cb25 · bd9cb25
1 parent 9cfaedc
commit bd9cb25
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 1 deletion.
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

diff --git a/packages/patrol/CHANGELOG.md b/packages/patrol/CHANGELOG.md
@@ -1,6 +1,6 @@
 ## 3.0.1
 
-- Fix extension code not being bundled by GitHub Actions workflow (#)
+- Fix extension code not being bundled by GitHub Actions workflow (#1902)
 
 ## 3.0.0