Testing auto config

reilabs · Nov 1, 2024 · 182eee8 · 182eee8
1 parent 41f6240
commit 182eee8
Showing 1 changed file with 0 additions and 3 deletions.
diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
@@ -14,7 +14,4 @@ jobs:
               continue-on-error: true
               with:
                 lake-package-directory: Lampe
-                build: "true"
-                test: "true"
-                lint: "true"
                 use-mathlib-cache: "true"