Skip to content

Add enums#16

Merged
hvater merged 8 commits into
mainfrom
enum
Feb 3, 2026
Merged

Add enums#16
hvater merged 8 commits into
mainfrom
enum

Conversation

@OliverSchw

Copy link
Copy Markdown
Collaborator

No description provided.

@hvater hvater left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I am not 100% sure about calling it EnvironmentType since Type is already a concept in python, but I guess it is pretty clear how it is meant.

If you have a good idea for an alternative name, I think it could be good to adapt it. Otherwise I think it is also fine if it stays as is.

@hvater hvater left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good to me

@hvater hvater merged commit a29291d into main Feb 3, 2026
2 checks passed
@hvater hvater deleted the enum branch June 29, 2026 13:20
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.

2 participants