Skip to content

CD: some minor cleaning up - #248

Merged
agarny merged 1 commit into
opencor:mainfrom
agarny:cleaning-up
Oct 17, 2025
Merged

agarny merged 1 commit into
opencor:mainfrom
agarny:cleaning-up

Conversation

@agarny

@agarny agarny commented Oct 17, 2025

Copy link
Copy Markdown
Contributor

No description provided.

@agarny
agarny merged commit 0cdcb18 into opencor:main Oct 17, 2025
8 checks passed
@agarny
agarny deleted the cleaning-up branch October 17, 2025 10:05
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