From d3bbd33f0186b35499456f2cae2f9936d57800a0 Mon Sep 17 00:00:00 2001 From: Simone Carolini Date: Fri, 21 Aug 2026 15:32:46 +0200 Subject: [PATCH] fix: release.yml's github-release job never checked out the repo The v0.3.1 tag push was this workflow's first real execution (it only triggers on push:tags, so no pull_request CI run ever exercises it), and it failed exactly as this predicts: `grep: CHANGELOG.md: No such file or directory`, silently falling back to generated notes instead of the intended changelog section. Manually corrected the already-published v0.3.1 Release notes via `gh release edit` separately; this fixes the workflow itself for v0.3.2 and beyond. Signed-off-by: Simone Carolini --- .github/workflows/release.yml | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml index 6938403..62b8fa2 100644 --- a/.github/workflows/release.yml +++ b/.github/workflows/release.yml @@ -49,6 +49,12 @@ jobs: SHA: ${{ github.sha }} GH_TOKEN: ${{ secrets.GITHUB_TOKEN }} steps: + # Needed for the CHANGELOG.md extraction step below — this job has no + # other source of the repo's files. Its absence went unnoticed through + # review because this job only triggers on push:tags, never on + # pull_request, so no PR's CI ever actually executes it. + - uses: actions/checkout@v4 + - name: Wait for publish-pypi.yml and images.yml to finish on this commit run: | set -euo pipefail