fix(ci): disable lean-action auto-build in linux-vulkan job

Same issue as lean-build: lean-action auto-builds @[default_target]
hesper exe which requires libhesper_simd.a.

Author: junjihashimoto

.github/workflows/ci.yml

@@ -79,6 +79,8 @@ jobs:
 
       - name: Setup Lean
         uses: leanprover/lean-action@v1
+        with:
+          auto-config: false
 
       - name: Cache Dawn build
         id: cache-dawn