squash: fix typo in docs

leanprover · May 9, 2024 · ba1c4da · ba1c4da
1 parent 46d37f1
commit ba1c4da
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/action.yml b/action.yml
@@ -43,7 +43,7 @@ inputs:
     description: |
       Check environment with lean4checker
       Allowed values: "true" or "false".
-      If lean4checker input is not provided, the action will not check environment with lean4checker.
+      If lean4checker input is not provided, the action will not check the environment with lean4checker.
     required: false
     default: "false"