Skip to content

allow overriding platform and system#26

Merged
Panaetius merged 1 commit into
mainfrom
override-platform-system
Dec 5, 2025
Merged

allow overriding platform and system#26
Panaetius merged 1 commit into
mainfrom
override-platform-system

Conversation

@Panaetius
Copy link
Copy Markdown
Member

No description provided.

@Panaetius Panaetius requested a review from a team as a code owner December 4, 2025 16:09
@Panaetius Panaetius force-pushed the override-platform-system branch from d41a9e0 to 76332a0 Compare December 5, 2025 08:30
@Panaetius Panaetius merged commit de332c3 into main Dec 5, 2025
1 check passed
@Panaetius Panaetius deleted the override-platform-system branch December 5, 2025 08:40
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