Skip to content

one more fix to CI#269

Merged
jlmucb merged 1 commit intomainfrom
CI_fix_3
May 29, 2025
Merged

one more fix to CI#269
jlmucb merged 1 commit intomainfrom
CI_fix_3

Conversation

@jlmucb
Copy link
Collaborator

@jlmucb jlmucb commented May 29, 2025

No description provided.

@jlmucb jlmucb merged commit f3fbcf2 into main May 29, 2025
1 check passed
@jlmucb jlmucb deleted the CI_fix_3 branch September 15, 2025 21:56
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