Skip to content

Convert build group type column to enum - #3988

Merged
williamjallen merged 1 commit into
Kitware:masterfrom
williamjallen:build-group-type
Sep 11, 2026
Merged

Convert build group type column to enum#3988
williamjallen merged 1 commit into
Kitware:masterfrom
williamjallen:build-group-type

Conversation

@williamjallen

Copy link
Copy Markdown
Collaborator

The buildgroup.type column is currently a string with two valid values. This PR updates the type to be an enum type so the valid values are more clear.

@josephsnyder
josephsnyder added this pull request to the merge queue Sep 11, 2026
@github-merge-queue
github-merge-queue Bot removed this pull request from the merge queue due to a conflict with the base branch Sep 11, 2026
The `buildgroup.type` column is currently a string with two valid values.  This PR updates the type to be an enum type so the valid values are more clear.
@josephsnyder
josephsnyder added this pull request to the merge queue Sep 11, 2026
@github-merge-queue
github-merge-queue Bot removed this pull request from the merge queue due to failed status checks Sep 11, 2026
@williamjallen
williamjallen added this pull request to the merge queue Sep 11, 2026
@github-merge-queue
github-merge-queue Bot removed this pull request from the merge queue due to failed status checks Sep 11, 2026
@williamjallen
williamjallen added this pull request to the merge queue Sep 11, 2026
Merged via the queue into Kitware:master with commit 1dc2723 Sep 11, 2026
7 checks passed
@williamjallen
williamjallen deleted the build-group-type branch September 11, 2026 14:53
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants