Add --no-progress-bar to hide progress bar (#2807)

Summary:
Add `--no-progress-bar` flag to `pyrefly check` to hide progress bar. The goal is to show the summary without the progress bar.

Fixes #2780

Pull Request resolved: #2807

Reviewed By: jvansch1

Differential Revision: D96755976

Pulled By: yangdanny97

fbshipit-source-id: 88702ef8d9e84cd105bd235567a3967cb91dc665

Author: oyarsa

pyrefly/lib/commands/check.rs

@@ -281,6 +281,10 @@ struct OutputArgs {
     )]
     summary: Summary,
 
+    /// Suppress the progress bar during type checking.
+    #[arg(long)]
+    no_progress_bar: bool,
+
     /// When specified, strip this prefix from any paths in the output.
     /// Pass "" to show absolute paths. When omitted, we will use the current working directory.
     #[arg(long)]
@@ -818,11 +822,13 @@ impl CheckArgs {
         let mut memory_trace = MemoryUsageTrace::start(Duration::from_secs_f32(0.1));
 
         let type_check_start = Instant::now();
-        if self.output.summary != Summary::None {
+        let show_progress_bar =
+            self.output.summary != Summary::None && !self.output.no_progress_bar;
+        if show_progress_bar {
             transaction.set_subscriber(Some(Box::new(ProgressBarSubscriber::new())));
         }
         transaction.run(handles, require, None);
-        if self.output.summary != Summary::None {
+        if show_progress_bar {
             transaction.set_subscriber(None);
         }