Skip to content

grimp: update packages - #4044

Merged
riseproject-dev[bot] merged 2 commits into
mainfrom
package/grimp
Oct 30, 2026
Merged

riseproject-dev[bot] merged 2 commits into
mainfrom
package/grimp

Conversation

@riseproject-dev

Copy link
Copy Markdown
Contributor

Automatically generated by the nightly check_versions.py run.

grimp v3.17 -> v3.18

Every - version: entry added to docs/packages/grimp.yaml is built by this PR's own build-grimp.yml run; merging publishes the wheels.

Signed-off-by: riseproject-dev[bot] <330740410+riseproject-dev[bot]@users.noreply.github.com>
@riseproject-dev
riseproject-dev Bot requested a review from luhenry October 29, 2026 09:00
…18 yet

3.18 is on PyPI (sdist uploaded 2026-10-26) but python-grimp/grimp has no v3.18
tag yet (the newest is v3.17), so the checkout step fails on every
interpreter. The head of upstream's release-v3.18 branch (c019ec78) is
byte-identical to the released 3.18 sdist (all 49 files compared), so pin that
commit for 3.18 and keep the v<version> tag for every other version. Drop the
entry once the tag exists.
@riseproject-dev
riseproject-dev Bot marked this pull request as ready for review October 30, 2026 16:23
@riseproject-dev
riseproject-dev Bot merged commit 2f1c3d8 into main Oct 30, 2026
9 checks passed
@riseproject-dev
riseproject-dev Bot deleted the package/grimp branch October 30, 2026 16:23
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant