Sphinx support: fix last modified dates for PEPs (#2024)

2021-07-04 18:55:04 +01:00 · 2021-07-04 18:55:04 +01:00 · 3b34e282fd
parent eb6f346936
commit 3b34e282fd
1 changed files with 2 additions and 0 deletions
--- a/.github/workflows/deploy-gh-pages.yaml
+++ b/.github/workflows/deploy-gh-pages.yaml
@ -11,6 +11,8 @@ jobs:
    steps:
      - name: 🛎️ Checkout
        uses: actions/checkout@v2
+        with:
+          fetch-depth: 0  # fetch all history so that last modified date-times are accurate

      - name: 🐍 Set up Python 3.9
        uses: actions/setup-python@v2