From 4459423479d7e88d607bfe7cce74f9ba27f9b853 Mon Sep 17 00:00:00 2001
From: austinletson <waustinletson@gmail.com>
Date: Sun, 19 May 2024 07:35:18 -0400
Subject: [PATCH] doc: add examples of projects which use `lean-action` (#14)

---
 README.md | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/README.md b/README.md
index c517180..51f6036 100644
--- 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.