docs: add description to Usage section

leanprover · Jun 1, 2024 · 45bfcdf · 45bfcdf
1 parent 1d543d3
commit 45bfcdf
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/README.md b/README.md
@@ -26,7 +26,8 @@ jobs:
       - uses: leanprover/lean-action@v1-beta
 ```
 
-## Usage
+## Customization
+`lean-action` provides optional configuration inputs to customize the behavior for your specific workflow.
 
 ```yaml
 - uses: leanprover/lean-action@v1-beta