From a5ffa38e643c73409ff392b23716f1ac434bb538 Mon Sep 17 00:00:00 2001
From: Catherine <whitequark@whitequark.org>
Date: Fri, 12 May 2023 17:31:23 +0000
Subject: [PATCH] CI: fix publish-docs job.

---
 .github/workflows/main.yaml | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/.github/workflows/main.yaml b/.github/workflows/main.yaml
index ab027bb..d6329c7 100644
--- a/.github/workflows/main.yaml
+++ b/.github/workflows/main.yaml
@@ -84,6 +84,10 @@ jobs:
     if: github.repository == 'amaranth-lang/amaranth'
     runs-on: ubuntu-latest
     steps:
+      - name: Check out source code
+        uses: actions/checkout@v3
+        with:
+          fetch-depth: 0
       - name: Download documentation archive
         uses: actions/download-artifact@v3
         with: