diff --git a/cli/args/flags.rs b/cli/args/flags.rs
index 0ce52129658252..44bb0dde170505 100644
--- a/cli/args/flags.rs
+++ b/cli/args/flags.rs
@@ -2394,6 +2394,8 @@ fn publish_subcommand() -> Command {
           .help("Allow publishing with slow types")
           .action(ArgAction::SetTrue),
       )
+      .arg(check_arg(/* type checks by default */ true))
+      .arg(no_check_arg())
     })
 }
 
@@ -3823,6 +3825,9 @@ fn vendor_parse(flags: &mut Flags, matches: &mut ArgMatches) {
 }
 
 fn publish_parse(flags: &mut Flags, matches: &mut ArgMatches) {
+  flags.type_check_mode = TypeCheckMode::Local; // local by default
+  no_check_arg_parse(flags, matches);
+  check_arg_parse(flags, matches);
   config_args_parse(flags, matches);
 
   flags.subcommand = DenoSubcommand::Publish(PublishFlags {
@@ -8542,4 +8547,27 @@ mod tests {
     let r = flags_from_vec(svec!["deno", "jupyter", "--install", "--kernel",]);
     r.unwrap_err();
   }
+
+  #[test]
+  fn publish_args() {
+    let r = flags_from_vec(svec![
+      "deno",
+      "publish",
+      "--dry-run",
+      "--allow-slow-types",
+      "--token=asdf",
+    ]);
+    assert_eq!(
+      r.unwrap(),
+      Flags {
+        subcommand: DenoSubcommand::Publish(PublishFlags {
+          token: Some("asdf".to_string()),
+          dry_run: true,
+          allow_slow_types: true,
+        }),
+        type_check_mode: TypeCheckMode::Local,
+        ..Flags::default()
+      }
+    );
+  }
 }
diff --git a/cli/graph_util.rs b/cli/graph_util.rs
index de13f25ba038b4..51f07af5e429c9 100644
--- a/cli/graph_util.rs
+++ b/cli/graph_util.rs
@@ -281,6 +281,9 @@ impl ModuleGraphCreator {
         loader: None,
       })
       .await?;
+    if self.options.type_check_mode().is_true() {
+      self.type_check_graph(graph.clone()).await?;
+    }
     self.module_graph_builder.build_fast_check_graph(
       &mut graph,
       BuildFastCheckGraphOptions {
@@ -337,23 +340,31 @@ impl ModuleGraphCreator {
 
     if self.options.type_check_mode().is_true() {
       // provide the graph to the type checker, then get it back after it's done
-      let graph = self
-        .type_checker
-        .check(
-          graph,
-          check::CheckOptions {
-            build_fast_check_graph: true,
-            lib: self.options.ts_type_lib_window(),
-            log_ignored_options: true,
-            reload: self.options.reload_flag(),
-          },
-        )
-        .await?;
+      let graph = self.type_check_graph(graph).await?;
       Ok(graph)
     } else {
       Ok(Arc::new(graph))
     }
   }
+
+  async fn type_check_graph(
+    &self,
+    graph: ModuleGraph,
+  ) -> Result<Arc<ModuleGraph>, AnyError> {
+    self
+      .type_checker
+      .check(
+        graph,
+        check::CheckOptions {
+          build_fast_check_graph: true,
+          lib: self.options.ts_type_lib_window(),
+          log_ignored_options: true,
+          reload: self.options.reload_flag(),
+          type_check_mode: self.options.type_check_mode(),
+        },
+      )
+      .await
+  }
 }
 
 pub struct BuildFastCheckGraphOptions {
diff --git a/cli/module_loader.rs b/cli/module_loader.rs
index d2742d1ba47f85..ae7f8f34950466 100644
--- a/cli/module_loader.rs
+++ b/cli/module_loader.rs
@@ -167,6 +167,7 @@ impl ModuleLoadPreparer {
             log_ignored_options: false,
             reload: self.options.reload_flag()
               && !roots.iter().all(|r| reload_exclusions.contains(r)),
+            type_check_mode: self.options.type_check_mode(),
           },
         )
         .await?;
diff --git a/cli/tools/check.rs b/cli/tools/check.rs
index 08fc6f0874a380..68bf9716ee547f 100644
--- a/cli/tools/check.rs
+++ b/cli/tools/check.rs
@@ -44,6 +44,8 @@ pub struct CheckOptions {
   /// If true, valid `.tsbuildinfo` files will be ignored and type checking
   /// will always occur.
   pub reload: bool,
+  /// Mode to type check with.
+  pub type_check_mode: TypeCheckMode,
 }
 
 pub struct TypeChecker {
@@ -97,6 +99,7 @@ impl TypeChecker {
     mut graph: ModuleGraph,
     options: CheckOptions,
   ) -> Result<(Arc<ModuleGraph>, Diagnostics), AnyError> {
+    debug_assert_ne!(options.type_check_mode, TypeCheckMode::None);
     if graph.roots.is_empty() {
       return Ok((graph.into(), Default::default()));
     }
@@ -120,8 +123,8 @@ impl TypeChecker {
       }
     }
 
+    let type_check_mode = options.type_check_mode;
     let ts_config = ts_config_result.ts_config;
-    let type_check_mode = self.cli_options.type_check_mode();
     let maybe_check_hash = match self.npm_resolver.check_state_hash() {
       Some(npm_check_hash) => {
         match get_check_hash(
@@ -300,7 +303,13 @@ fn get_check_hash(
         }
 
         hasher.write_str(module.specifier.as_str());
-        hasher.write_str(&module.source);
+        hasher.write_str(
+          // the fast check module will only be set when publishing
+          module
+            .fast_check_module()
+            .map(|s| s.source.as_ref())
+            .unwrap_or(&module.source),
+        );
       }
       Module::Node(_) => {
         // the @types/node package will be in the resolved
diff --git a/cli/tools/registry/mod.rs b/cli/tools/registry/mod.rs
index 951ac4944ecf10..aea5dc6340a1a9 100644
--- a/cli/tools/registry/mod.rs
+++ b/cli/tools/registry/mod.rs
@@ -28,6 +28,7 @@ use crate::args::jsr_url;
 use crate::args::CliOptions;
 use crate::args::Flags;
 use crate::args::PublishFlags;
+use crate::args::TypeCheckMode;
 use crate::cache::LazyGraphSourceParser;
 use crate::cache::ParsedSourceCache;
 use crate::factory::CliFactory;
@@ -768,6 +769,8 @@ async fn build_and_check_graph_for_publish(
             lib: cli_options.ts_type_lib_window(),
             log_ignored_options: false,
             reload: cli_options.reload_flag(),
+            // force type checking this
+            type_check_mode: TypeCheckMode::Local,
           },
         )
         .await?;
diff --git a/tests/integration/publish_tests.rs b/tests/integration/publish_tests.rs
index 48e62e9053ff5b..61cb40fba5ba3b 100644
--- a/tests/integration/publish_tests.rs
+++ b/tests/integration/publish_tests.rs
@@ -155,6 +155,15 @@ itest!(successful {
   http_server: true,
 });
 
+itest!(no_check {
+  args: "publish --token 'sadfasdf' --no-check",
+  // still type checks the slow types output though
+  output: "publish/successful_no_check.out",
+  cwd: Some("publish/successful"),
+  envs: env_vars_for_jsr_tests(),
+  http_server: true,
+});
+
 itest!(node_specifier {
   args: "publish --token 'sadfasdf'",
   output: "publish/node_specifier.out",
diff --git a/tests/testdata/publish/allow_slow_types.out b/tests/testdata/publish/allow_slow_types.out
index fe3788021cc29e..cd22c0ce753359 100644
--- a/tests/testdata/publish/allow_slow_types.out
+++ b/tests/testdata/publish/allow_slow_types.out
@@ -1,3 +1,4 @@
+Check file:///[WILDCARD]mod.ts
 Warning Publishing a library with slow types is not recommended. This may lead to poor type checking performance for users of your package, may affect the quality of automatic documentation generation, and your package will not be shipped with a .d.ts file for Node.js users.
 Publishing @foo/bar@1.1.0 ...
 Successfully published @foo/bar@1.1.0
diff --git a/tests/testdata/publish/deno_jsonc.out b/tests/testdata/publish/deno_jsonc.out
index aae82c33938425..820554943a3244 100644
--- a/tests/testdata/publish/deno_jsonc.out
+++ b/tests/testdata/publish/deno_jsonc.out
@@ -1,3 +1,4 @@
+Check file:///[WILDCARD]/publish/deno_jsonc/mod.ts
 Checking for slow types in the public API...
 Check file:///[WILDCARD]/publish/deno_jsonc/mod.ts
 Publishing @foo/bar@1.0.0 ...
diff --git a/tests/testdata/publish/deno_jsonc/mod.ts b/tests/testdata/publish/deno_jsonc/mod.ts
index 4bb6da25552ca6..6e8a61bae92273 100644
--- a/tests/testdata/publish/deno_jsonc/mod.ts
+++ b/tests/testdata/publish/deno_jsonc/mod.ts
@@ -1,5 +1,7 @@
 import http from "@std/http";
 
 export function foobar(): { fileServer(): void } {
-  return http.fileServer;
+  return {
+    fileServer: http.fileServer,
+  };
 }
diff --git a/tests/testdata/publish/dry_run.out b/tests/testdata/publish/dry_run.out
index 679aa8f3996190..afc2ba66a3763d 100644
--- a/tests/testdata/publish/dry_run.out
+++ b/tests/testdata/publish/dry_run.out
@@ -1,7 +1,8 @@
+Check file:///[WILDCARD]/mod.ts
 Checking for slow types in the public API...
-Check [WILDCARD]
+Check file:///[WILDCARD]/mod.ts
 Simulating publish of @foo/bar@1.0.0 with files:
    [WILDCARD]deno.json (140B)
-   [WILDCARD]mod.ts (114B)
+   [WILDCARD]mod.ts (137B)
    [WILDCARD]std_http.ts (119B)
 Warning Aborting due to --dry-run
diff --git a/tests/testdata/publish/has_slow_types.out b/tests/testdata/publish/has_slow_types.out
index 06e04214508c97..43ac86658df2c1 100644
--- a/tests/testdata/publish/has_slow_types.out
+++ b/tests/testdata/publish/has_slow_types.out
@@ -1,3 +1,4 @@
+Check file:///[WILDCARD]/mod.ts
 Checking for slow types in the public API...
 error[missing-explicit-return-type]: missing explicit return type in the public API
  --> [WILDCARD]mod.ts:2:17
diff --git a/tests/testdata/publish/invalid_import.out b/tests/testdata/publish/invalid_import.out
index f123a341b0c37f..f6742de95233e1 100644
--- a/tests/testdata/publish/invalid_import.out
+++ b/tests/testdata/publish/invalid_import.out
@@ -2,6 +2,7 @@ Download http://localhost:4545/welcome.ts
 Download http://localhost:4545/echo.ts
 Download http://localhost:4545/npm/registry/chalk
 Download http://localhost:4545/npm/registry/chalk/chalk-5.0.1.tgz
+Check file:///[WILDCARD]/mod.ts
 Checking for slow types in the public API...
 Check file://[WILDCARD]mod.ts
 error[invalid-external-import]: invalid import to a non-JSR 'http' specifier
diff --git a/tests/testdata/publish/invalid_path.out b/tests/testdata/publish/invalid_path.out
index bad1a64959404c..d47cb01de6098d 100644
--- a/tests/testdata/publish/invalid_path.out
+++ b/tests/testdata/publish/invalid_path.out
@@ -1,3 +1,4 @@
+Check file://[WILDCARD]mod.ts
 Checking for slow types in the public API...
 Check file://[WILDCARD]mod.ts
 error[invalid-path]: package path must not contain whitespace (found ' ')
diff --git a/tests/testdata/publish/javascript_decl_file.out b/tests/testdata/publish/javascript_decl_file.out
index 2eda47cb481d57..48128e82f87b47 100644
--- a/tests/testdata/publish/javascript_decl_file.out
+++ b/tests/testdata/publish/javascript_decl_file.out
@@ -1,5 +1,5 @@
-Checking for slow types in the public API...
 Check file:///[WILDCARD]/javascript_decl_file/mod.js
+Checking for slow types in the public API...
 Publishing @foo/bar@1.0.0 ...
 Successfully published @foo/bar@1.0.0
 Visit http://127.0.0.1:4250/@foo/bar@1.0.0 for details
diff --git a/tests/testdata/publish/node_specifier.out b/tests/testdata/publish/node_specifier.out
index 9ba10c75b7c33d..d3e4a367b46f8d 100644
--- a/tests/testdata/publish/node_specifier.out
+++ b/tests/testdata/publish/node_specifier.out
@@ -1,6 +1,7 @@
-Checking for slow types in the public API...
 Download http://localhost:4545/npm/registry/@types/node
 Download http://localhost:4545/npm/registry/@types/node/node-[WILDCARD].tgz
+Check file:///[WILDCARD]/mod.ts
+Checking for slow types in the public API...
 Check file:///[WILDCARD]/publish/node_specifier/mod.ts
 Publishing @foo/bar@1.0.0 ...
 Successfully published @foo/bar@1.0.0
diff --git a/tests/testdata/publish/successful.out b/tests/testdata/publish/successful.out
index 1dd6168eb0f73c..a3da4290d864ae 100644
--- a/tests/testdata/publish/successful.out
+++ b/tests/testdata/publish/successful.out
@@ -1,3 +1,4 @@
+Check file:///[WILDCARD]/publish/successful/mod.ts
 Checking for slow types in the public API...
 Check file:///[WILDCARD]/publish/successful/mod.ts
 Publishing @foo/bar@1.0.0 ...
diff --git a/tests/testdata/publish/successful/mod.ts b/tests/testdata/publish/successful/mod.ts
index 4bb6da25552ca6..6e8a61bae92273 100644
--- a/tests/testdata/publish/successful/mod.ts
+++ b/tests/testdata/publish/successful/mod.ts
@@ -1,5 +1,7 @@
 import http from "@std/http";
 
 export function foobar(): { fileServer(): void } {
-  return http.fileServer;
+  return {
+    fileServer: http.fileServer,
+  };
 }
diff --git a/tests/testdata/publish/successful_no_check.out b/tests/testdata/publish/successful_no_check.out
new file mode 100644
index 00000000000000..1dd6168eb0f73c
--- /dev/null
+++ b/tests/testdata/publish/successful_no_check.out
@@ -0,0 +1,5 @@
+Checking for slow types in the public API...
+Check file:///[WILDCARD]/publish/successful/mod.ts
+Publishing @foo/bar@1.0.0 ...
+Successfully published @foo/bar@1.0.0
+Visit http://127.0.0.1:4250/@foo/bar@1.0.0 for details
diff --git a/tests/testdata/publish/symlink.out b/tests/testdata/publish/symlink.out
index e7fc0c2a20abd2..9f89f5b7c3e0f7 100644
--- a/tests/testdata/publish/symlink.out
+++ b/tests/testdata/publish/symlink.out
@@ -1,3 +1,4 @@
+Check [WILDCARD]mod.ts
 Checking for slow types in the public API...
 Check [WILDCARD]mod.ts
 warning[unsupported-file-type]: unsupported file type 'symlink'
diff --git a/tests/testdata/publish/unanalyzable_dynamic_import.out b/tests/testdata/publish/unanalyzable_dynamic_import.out
index 97306c07924330..a68b29932ccd29 100644
--- a/tests/testdata/publish/unanalyzable_dynamic_import.out
+++ b/tests/testdata/publish/unanalyzable_dynamic_import.out
@@ -1,9 +1,10 @@
+Check file://[WILDCARD]/mod.ts
 Checking for slow types in the public API...
 Check file://[WILDCARD]/mod.ts
 warning[unanalyzable-dynamic-import]: unable to analyze dynamic import
- --> [WILDCARD]mod.ts:1:7
+ --> [WILDCARD]mod.ts:2:7
   | 
-1 | await import("asd " + asd);
+2 | await import("asd " + asd);
   |       ^^^^^^^^^^^^^^^^^^^^ the unanalyzable dynamic import
 
   info: after publishing this package, imports from the local import map do not work
diff --git a/tests/testdata/publish/unanalyzable_dynamic_import/mod.ts b/tests/testdata/publish/unanalyzable_dynamic_import/mod.ts
index fd53cb2c8913e3..291311385b49e1 100644
--- a/tests/testdata/publish/unanalyzable_dynamic_import/mod.ts
+++ b/tests/testdata/publish/unanalyzable_dynamic_import/mod.ts
@@ -1 +1,2 @@
+const asd = "asd";
 await import("asd " + asd);
diff --git a/tests/testdata/publish/workspace.out b/tests/testdata/publish/workspace.out
index ceffc48cf8db2d..17f2dab3b6f8a7 100644
--- a/tests/testdata/publish/workspace.out
+++ b/tests/testdata/publish/workspace.out
@@ -1,4 +1,6 @@
 Publishing a workspace...
+Check file:///[WILDCARD]/workspace/foo/mod.ts
+Check file:///[WILDCARD]/workspace/bar/mod.ts
 Checking for slow types in the public API...
 Check file:///[WILDCARD]/workspace/foo/mod.ts
 Check file:///[WILDCARD]/workspace/bar/mod.ts
diff --git a/tests/testdata/publish/workspace_individual.out b/tests/testdata/publish/workspace_individual.out
index 61fac206bc2ce1..e734ae06ed1351 100644
--- a/tests/testdata/publish/workspace_individual.out
+++ b/tests/testdata/publish/workspace_individual.out
@@ -1,3 +1,4 @@
+Check file:///[WILDCARD]/workspace/bar/mod.ts
 Checking for slow types in the public API...
 Check file:///[WILDCARD]/workspace/bar/mod.ts
 Publishing @foo/bar@1.0.0 ...