Skip to content

Fix/remove-obsolete-index#4255

Merged
dartcafe merged 2 commits into
mainfrom
fix/remove-obsolete-index
Aug 29, 2025
Merged

Fix/remove-obsolete-index#4255
dartcafe merged 2 commits into
mainfrom
fix/remove-obsolete-index

Conversation

@dartcafe

@dartcafe dartcafe commented Aug 29, 2025

Copy link
Copy Markdown
Collaborator

Do not create optional index, where already a unique index exists
Additionally added a list of existing indices to the index creation command occ polls:index:create

fixes #4249

Signed-off-by: dartcafe <github@dartcafe.de>
Signed-off-by: dartcafe <github@dartcafe.de>
@dartcafe dartcafe modified the milestones: 8.3.9, 8.4 Aug 29, 2025
@dartcafe dartcafe merged commit 7dc212c into main Aug 29, 2025
45 checks passed
@dartcafe dartcafe modified the milestones: 8.4, 8.3.9 Aug 29, 2025
@dartcafe dartcafe deleted the fix/remove-obsolete-index branch September 8, 2025 17:34
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Creation of missing indices fails

1 participant