From e403fff4279ea06daddb72472e9e5f4e7fbfee9a Mon Sep 17 00:00:00 2001 From: Christian Merten Date: Fri, 23 Jan 2026 08:05:37 +0100 Subject: [PATCH 1/3] set docgen-action before references change --- .github/workflows/lean_action_ci.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/lean_action_ci.yml b/.github/workflows/lean_action_ci.yml index 2ebcd1a..5e728ec 100644 --- a/.github/workflows/lean_action_ci.yml +++ b/.github/workflows/lean_action_ci.yml @@ -35,6 +35,6 @@ jobs: - name: Build project documentation id: build-docgen - uses: leanprover-community/docgen-action@main + uses: leanprover-community/docgen-action@deed0cdc44dd8e5de07a300773eb751d33e32fc8 with: blueprint: true From 3c9e39c69f4dff28f93aeb6be9d7214f8369d770 Mon Sep 17 00:00:00 2001 From: Christian Merten Date: Fri, 23 Jan 2026 10:36:39 +0100 Subject: [PATCH 2/3] try later commit --- .github/workflows/lean_action_ci.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/lean_action_ci.yml b/.github/workflows/lean_action_ci.yml index 5e728ec..d0c5dbf 100644 --- a/.github/workflows/lean_action_ci.yml +++ b/.github/workflows/lean_action_ci.yml @@ -35,6 +35,6 @@ jobs: - name: Build project documentation id: build-docgen - uses: leanprover-community/docgen-action@deed0cdc44dd8e5de07a300773eb751d33e32fc8 + uses: leanprover-community/docgen-action@cc833d262c7b8f179ac444cd20fde412b24b8beb with: blueprint: true From af12600423905da9d5bdcc9308ef0e917c811b31 Mon Sep 17 00:00:00 2001 From: Christian Merten Date: Fri, 23 Jan 2026 10:45:21 +0100 Subject: [PATCH 3/3] double check: set rev to main --- .github/workflows/lean_action_ci.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/lean_action_ci.yml b/.github/workflows/lean_action_ci.yml index d0c5dbf..2ebcd1a 100644 --- a/.github/workflows/lean_action_ci.yml +++ b/.github/workflows/lean_action_ci.yml @@ -35,6 +35,6 @@ jobs: - name: Build project documentation id: build-docgen - uses: leanprover-community/docgen-action@cc833d262c7b8f179ac444cd20fde412b24b8beb + uses: leanprover-community/docgen-action@main with: blueprint: true