diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index 6c5ee9d575a..9dbe1749b8e 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -38,23 +38,23 @@ jobs:
       env:
         LANG: "C"
 
-  # typecheck:
-  #   runs-on: ubuntu-latest
-  #   env:
-  #     BUNDLE_GEMFILE: gemfiles/typecheck/Gemfile
-  #   steps:
-  #   - uses: actions/checkout@v4
-  #   - name: Set up Ruby
-  #     uses: ruby/setup-ruby@v1
-  #     with:
-  #       ruby-version: "3.3"
-  #       bundler-cache: true
-  #   - name: Check Sorbet
-  #     run: bundle exec rake typecheck:tapioca typecheck:sorbet
-  #   - name: Check Steep
-  #     run: bundle exec rake typecheck:steep
-  #   - name: Check field kinds
-  #     run: rm lib/prism/node.rb && CHECK_FIELD_KIND=true bundle exec rake
+  typecheck:
+    runs-on: ubuntu-latest
+    env:
+      BUNDLE_GEMFILE: gemfiles/typecheck/Gemfile
+    steps:
+    - uses: actions/checkout@v4
+    - name: Set up Ruby
+      uses: ruby/setup-ruby@v1
+      with:
+        ruby-version: "3.3"
+        bundler-cache: true
+    - name: Check Sorbet
+      run: bundle exec rake typecheck:tapioca typecheck:sorbet
+    - name: Check Steep
+      run: bundle exec rake typecheck:steep
+    - name: Check field kinds
+      run: rm lib/prism/node.rb && CHECK_FIELD_KIND=true bundle exec rake
 
   build:
     strategy:
diff --git a/gemfiles/typecheck/Gemfile.lock b/gemfiles/typecheck/Gemfile.lock
deleted file mode 100644
index cc530d079a6..00000000000
--- a/gemfiles/typecheck/Gemfile.lock
+++ /dev/null
@@ -1,135 +0,0 @@
-PATH
-  remote: ../..
-  specs:
-    prism (0.28.0)
-
-GEM
-  remote: https://rubygems.org/
-  specs:
-    abbrev (0.1.2)
-    activesupport (7.1.3.2)
-      base64
-      bigdecimal
-      concurrent-ruby (~> 1.0, >= 1.0.2)
-      connection_pool (>= 2.2.5)
-      drb
-      i18n (>= 1.6, < 2)
-      minitest (>= 5.1)
-      mutex_m
-      tzinfo (~> 2.0)
-    ast (2.4.2)
-    base64 (0.2.0)
-    bigdecimal (3.1.7)
-    concurrent-ruby (1.2.3)
-    connection_pool (2.4.1)
-    csv (3.3.0)
-    drb (2.2.1)
-    erubi (1.12.0)
-    ffi (1.16.3)
-    fileutils (1.7.2)
-    i18n (1.14.4)
-      concurrent-ruby (~> 1.0)
-    json (2.7.2)
-    language_server-protocol (3.17.0.3)
-    listen (3.9.0)
-      rb-fsevent (~> 0.10, >= 0.10.3)
-      rb-inotify (~> 0.9, >= 0.9.10)
-    logger (1.6.0)
-    minitest (5.22.3)
-    mutex_m (0.2.0)
-    netrc (0.11.0)
-    parallel (1.24.0)
-    parser (3.3.1.0)
-      ast (~> 2.4.1)
-      racc
-    power_assert (2.0.3)
-    racc (1.7.3)
-    rainbow (3.1.1)
-    rake (13.2.1)
-    rake-compiler (1.2.7)
-      rake
-    rb-fsevent (0.11.2)
-    rb-inotify (0.10.1)
-      ffi (~> 1.0)
-    rbi (0.1.12)
-      prism (>= 0.18.0, < 0.28)
-      sorbet-runtime (>= 0.5.9204)
-    rbs (3.4.4)
-      abbrev
-    ruby_parser (3.21.0)
-      racc (~> 1.5)
-      sexp_processor (~> 4.16)
-    securerandom (0.3.1)
-    sexp_processor (4.17.1)
-    sorbet (0.5.11361)
-      sorbet-static (= 0.5.11361)
-    sorbet-runtime (0.5.11361)
-    sorbet-static (0.5.11361-aarch64-linux)
-    sorbet-static (0.5.11361-universal-darwin)
-    sorbet-static (0.5.11361-x86_64-linux)
-    sorbet-static-and-runtime (0.5.11361)
-      sorbet (= 0.5.11361)
-      sorbet-runtime (= 0.5.11361)
-    spoom (1.3.0)
-      erubi (>= 1.10.0)
-      prism (>= 0.19.0)
-      sorbet-static-and-runtime (>= 0.5.10187)
-      thor (>= 0.19.2)
-    steep (1.7.0.dev.3)
-      activesupport (>= 5.1)
-      concurrent-ruby (>= 1.1.10)
-      csv (>= 3.0.9)
-      fileutils (>= 1.1.0)
-      json (>= 2.1.0)
-      language_server-protocol (>= 3.15, < 4.0)
-      listen (~> 3.0)
-      logger (>= 1.3.0)
-      parser (>= 3.1)
-      rainbow (>= 2.2.2, < 4.0)
-      rbs (>= 3.1.0)
-      securerandom (>= 0.1)
-      strscan (>= 1.0.0)
-      terminal-table (>= 2, < 4)
-    strscan (3.1.0)
-    tapioca (0.13.3)
-      bundler (>= 2.2.25)
-      netrc (>= 0.11.0)
-      parallel (>= 1.21.0)
-      rbi (>= 0.1.4, < 0.2)
-      sorbet-static-and-runtime (>= 0.5.11087)
-      spoom (>= 1.2.0)
-      thor (>= 1.2.0)
-      yard-sorbet
-    terminal-table (3.0.2)
-      unicode-display_width (>= 1.1.1, < 3)
-    test-unit (3.6.2)
-      power_assert
-    thor (1.3.1)
-    tzinfo (2.0.6)
-      concurrent-ruby (~> 1.0)
-    unicode-display_width (2.5.0)
-    yard (0.9.36)
-    yard-sorbet (0.8.1)
-      sorbet-runtime (>= 0.5)
-      yard (>= 0.9)
-
-PLATFORMS
-  aarch64-linux
-  universal-darwin
-  x86_64-linux
-
-DEPENDENCIES
-  minitest
-  parser
-  prism!
-  rake
-  rake-compiler
-  rbs
-  ruby_parser
-  sorbet
-  steep (>= 1.7.0.dev.1)
-  tapioca
-  test-unit
-
-BUNDLED WITH
-   2.5.3
diff --git a/rakelib/typecheck.rake b/rakelib/typecheck.rake
index bc76c34e54a..c3562f8cd8b 100644
--- a/rakelib/typecheck.rake
+++ b/rakelib/typecheck.rake
@@ -1,7 +1,7 @@
 # frozen_string_literal: true
 
 namespace :typecheck do
-  task tapioca: :templates do
+  task tapioca: :compile do
     # Yard crashes parsing steep, which is all run because of tapioca. So to
     # avoid this, we're going to monkey patch yard to ignore these kinds of
     # crashes so tapioca can keep running.