Merge remote-tracking branch 'origin/main'

.github/workflows/build-and-release.yml

@@ -89,21 +89,6 @@ jobs:
         shell: bash
         run: bash ./scripts/ci/run_flutter_ci_suite.sh
 
-  patrol:
-    if: ${{ github.event_name == 'push' && startsWith(github.ref, 'refs/heads/release/') }}
-    runs-on: ubuntu-22.04
-    steps:
-      - name: Checkout source
-        uses: actions/checkout@34e114876b0b11c390a56381ad16ebd13914f8d5
-
-      - name: Set up Flutter SDK
-        uses: ./.github/actions/setup-flutter-sdk
-        with:
-          flutter-version: ${{ env.FLUTTER_VERSION }}
-
-      - name: Run Patrol suite
-        shell: bash
-        run: bash ./scripts/ci/run_patrol_suite.sh
 
   build:
     if: ${{ github.event_name == 'workflow_dispatch' || startsWith(github.ref, 'refs/tags/v') || github.ref == 'refs/heads/main' || (github.event_name == 'pull_request' && github.base_ref == 'main') }}