diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml index 0a461dc..c7dbe42 100644 --- a/.github/workflows/release.yml +++ b/.github/workflows/release.yml @@ -220,6 +220,11 @@ jobs: git config user.name "github-actions[bot]" git config user.email "github-actions[bot]@users.noreply.github.com" git add nix/release.json + # A rerun after the pin already landed has nothing to commit, and the release is done. + if git diff --cached --quiet; then + echo "The flake already points at v$VERSION, nothing to push." + exit 0 + fi git commit -m "point the nix package at v$VERSION" for attempt in 1 2 3 4 5; do git fetch origin main