diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 396761089b..7820b3e2de 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -26,6 +26,8 @@ jobs:
         # TODO temp hack 2025-07-08 as Flutter's `main` is broken but `master` works:
         #   https://github.com/zulip/zulip-flutter/pull/1688#issuecomment-3050661097
         #   https://discord.com/channels/608014603317936148/608021351567065092/1392301750383415376
+        #   https://github.com/flutter/flutter/issues/171833
+        #   (See also "temp hack" items below.)
         git clone --depth=1000 -b master https://github.com/flutter/flutter ~/flutter
         TZ=UTC git --git-dir ~/flutter/.git log -1 --format='%h | %ci | %s' --date=iso8601-local
         echo ~/flutter/bin >> "$GITHUB_PATH"
@@ -43,4 +45,5 @@ jobs:
       run: flutter pub get
 
     - name: Run tools/check
-      run: TERM=dumb tools/check --all --verbose
+      # TODO omitting flutter_version, see temp hack above
+      run: TERM=dumb tools/check --verbose --all-files analyze test build_runner l10n drift pigeon icons android shellcheck