Check types in CI

Author: kateinoigakukun

.github/workflows/build.yml

@@ -29,6 +29,12 @@ jobs:
       - uses: actions/checkout@v4
         with:
           fetch-depth: 0
+      - uses: ruby/setup-ruby@v1
+        with:
+          ruby-version: "3.2"
+          bundler-cache: true
+      - run: ./bin/setup
+      - run: rake check:type
       - run: sudo apt-get install clang-format
       - run: ./tools/clang-format-diff.sh
       - run: rake check:bindgen

tasks/check.rake

@@ -30,4 +30,8 @@ namespace :check do
 
   desc "Check wit-bindgen'ed sources are up-to-date"
   task bindgen: %i[bindgen_c bindgen_js]
+
+  task :type do
+    sh "bundle exec steep check"
+  end
 end