make lint ci faster by not building rtoml (#89)

samuelcolvin · Dec 9, 2024 · 833daa2 · 833daa2
1 parent 70ac1e1
commit 833daa2
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -96,8 +96,11 @@ jobs:
         extra_args: --all-files --verbose
       env:
         SKIP: no-commit-to-branch
+        UV_NO_SYNC: '1'
 
     - run: make typecheck
+      env:
+        UV_NO_SYNC: '1'
 
   # https://github.com/marketplace/actions/alls-green#why used for branch protection checks
   check: