From dd5aae412d67fa9f7c21f8dc07ccb9accbc15fc9 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Henrik=20B=C3=B6ving?= <hargonix@gmail.com>
Date: Sun, 1 Jan 2023 20:37:05 +0100
Subject: [PATCH] fix: attempt to fix CI again

---
 .github/workflows/build.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index f368a87..2d39cbe 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -45,4 +45,4 @@ jobs:
           ./doc-gen4/deploy_docs.sh "mathlib4" "doc-gen4" "true" "LeanInk"
         env:
           MATHLIB4_DOCS_KEY: ${{ secrets.MATHLIB4_DOCS_KEY }}
-          DOC_GEN_REF: "main"
+          DOC_GEN_REF: ${{ github.sha }}