From 7df4806295e25fd71b3c1cd1955805e14ff77f4f Mon Sep 17 00:00:00 2001 From: Raffael Herrmann Date: Mon, 1 Jun 2026 12:52:23 +0200 Subject: [PATCH 1/2] fix(docs): use full git history for nightly docs and add debug logs --- .github/workflows/docs.yml | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml index 9c73808..05b7fce 100644 --- a/.github/workflows/docs.yml +++ b/.github/workflows/docs.yml @@ -27,8 +27,18 @@ jobs: - uses: actions/checkout@v6 with: ref: develop + fetch-depth: 0 path: develop + - name: Debug lastUpdated git history inputs + run: | + echo "Release HEAD: $(git -C release rev-parse --short HEAD)" + echo "Develop HEAD: $(git -C develop rev-parse --short HEAD)" + echo "Release about.md last commit: $(git -C release log -1 --format='%h %cI %s' -- docs/about.md || echo 'N/A')" + echo "Develop about.md last commit: $(git -C develop log -1 --format='%h %cI %s' -- docs/about.md || echo 'N/A')" + echo "Release administration.md last commit: $(git -C release log -1 --format='%h %cI %s' -- docs/guide/using-librislog/administration.md || echo 'N/A')" + echo "Develop administration.md last commit: $(git -C develop log -1 --format='%h %cI %s' -- docs/guide/using-librislog/administration.md || echo 'N/A')" + - name: Determine release ref id: release-ref working-directory: release From e9f1b6174b3a920d1107d01a0cb2af807e122d07 Mon Sep 17 00:00:00 2001 From: Raffael Herrmann Date: Mon, 1 Jun 2026 13:09:02 +0200 Subject: [PATCH 2/2] chore(docs): remove temporary lastUpdated debug logs --- .github/workflows/docs.yml | 9 --------- 1 file changed, 9 deletions(-) diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml index 05b7fce..f5c565c 100644 --- a/.github/workflows/docs.yml +++ b/.github/workflows/docs.yml @@ -30,15 +30,6 @@ jobs: fetch-depth: 0 path: develop - - name: Debug lastUpdated git history inputs - run: | - echo "Release HEAD: $(git -C release rev-parse --short HEAD)" - echo "Develop HEAD: $(git -C develop rev-parse --short HEAD)" - echo "Release about.md last commit: $(git -C release log -1 --format='%h %cI %s' -- docs/about.md || echo 'N/A')" - echo "Develop about.md last commit: $(git -C develop log -1 --format='%h %cI %s' -- docs/about.md || echo 'N/A')" - echo "Release administration.md last commit: $(git -C release log -1 --format='%h %cI %s' -- docs/guide/using-librislog/administration.md || echo 'N/A')" - echo "Develop administration.md last commit: $(git -C develop log -1 --format='%h %cI %s' -- docs/guide/using-librislog/administration.md || echo 'N/A')" - - name: Determine release ref id: release-ref working-directory: release