doc: add examples of projects which use lean-action (#33)

Closes #13
leanprover · May 20, 2024 · a9d0660 · a9d0660
1 parent ae16192
commit a9d0660
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -93,6 +93,10 @@ jobs:
     build-args: "--wfail"
 ```
 
+## Projects which use `lean-action`
+- [leanprover-community/aesop](https://github.com/leanprover-community/aesop/blob/master/.github/workflows/build.yml#L16)
+- [leanprover-community/import-graph](https://github.com/leanprover-community/import-graph/blob/main/.github/workflows/build.yml#L8)
+
 ## Keep the action updated with `dependabot`
 Because Lean is under heavy development, changes to Lean or Lake could break outdated versions of `lean-action`. You can configure [dependabot](https://docs.github.com/en/code-security/dependabot/dependabot-version-updates/about-dependabot-version-updates) to automatically create a PR to update `lean-action` when a new stable version is released.