Skip to content

specify shell to fix ci failure#13

Merged
nkhedekar merged 1 commit into
mainfrom
dev/ci3
Feb 24, 2026
Merged

specify shell to fix ci failure#13
nkhedekar merged 1 commit into
mainfrom
dev/ci3

Conversation

@nkhedekar

Copy link
Copy Markdown
Contributor

No description provided.

@nkhedekar nkhedekar merged commit 66ef1da into main Feb 24, 2026
6 checks passed
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