Skip to content

CompatHelper: bump compat for DomainSets to 0.8, (keep existing compat)#507

Merged
oschulz merged 1 commit intomainfrom
compathelper/new_version/2026-04-08-00-49-40-653-03051243473
Apr 8, 2026
Merged

CompatHelper: bump compat for DomainSets to 0.8, (keep existing compat)#507
oschulz merged 1 commit intomainfrom
compathelper/new_version/2026-04-08-00-49-40-653-03051243473

Conversation

@github-actions
Copy link
Copy Markdown
Contributor

@github-actions github-actions bot commented Apr 8, 2026

This pull request changes the compat entry for the DomainSets package from 0.5.11, 0.6, 0.7 to 0.5.11, 0.6, 0.7, 0.8.
This keeps the compat entries for earlier versions.

Note: I have not tested your package with this new compat entry.
It is your responsibility to make sure that your package tests pass before you merge this pull request.

@oschulz oschulz force-pushed the compathelper/new_version/2026-04-08-00-49-40-653-03051243473 branch from 6265526 to 956072c Compare April 8, 2026 00:49
@oschulz oschulz merged commit 161ccb1 into main Apr 8, 2026
8 of 9 checks passed
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