Skip to content

backports for 1.7.2#5920

Merged
benlorenz merged 8 commits intorelease-1.7from
backports-release-1.7
Apr 8, 2026
Merged

backports for 1.7.2#5920
benlorenz merged 8 commits intorelease-1.7from
backports-release-1.7

Conversation

benlorenz and others added 5 commits April 8, 2026 10:38
using lazy parsing to avoid reading the full file
fixes doctests with JSON.jl version 1.5.0

(cherry picked from commit 862f791)
* Fix Issue #5902

* Correction

* Make test happy

(cherry picked from commit 716cf2b)
* null type in schema

* reordered

(cherry picked from commit 7646602)
@lgoettgens lgoettgens added the release notes: not needed PRs introducing changes that are wholly irrelevant to the release notes label Apr 8, 2026
@lgoettgens lgoettgens linked an issue Apr 8, 2026 that may be closed by this pull request
antonydellavecchia and others added 3 commits April 8, 2026 13:47
Ensure the parent ring of the generators in the returned ideal
is the same as the base ring of the ideal after an f4 eliminate

(cherry picked from commit 9f41c65)
@benlorenz benlorenz force-pushed the backports-release-1.7 branch from 14c9a78 to 7842f64 Compare April 8, 2026 11:50
@benlorenz benlorenz marked this pull request as ready for review April 8, 2026 11:51
@benlorenz benlorenz merged commit d84a5c3 into release-1.7 Apr 8, 2026
36 checks passed
@benlorenz benlorenz deleted the backports-release-1.7 branch April 8, 2026 14:42
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

release notes: not needed PRs introducing changes that are wholly irrelevant to the release notes

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Release 1.7.2 with read_metadata fix

5 participants