Skip to content

Follow up release ci fix#185

Merged
FranAguilera merged 1 commit intomainfrom
fix_3
Dec 15, 2025
Merged

Follow up release ci fix#185
FranAguilera merged 1 commit intomainfrom
fix_3

Conversation

@FranAguilera
Copy link
Copy Markdown
Contributor

@FranAguilera FranAguilera commented Dec 15, 2025

Follow up to #184

@FranAguilera FranAguilera merged commit 8ff26e4 into main Dec 15, 2025
8 of 13 checks passed
@FranAguilera FranAguilera deleted the fix_3 branch December 15, 2025 16:34
@github-actions github-actions bot locked and limited conversation to collaborators Dec 15, 2025
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants