Skip to content

Conversation

@santib
Copy link
Member

@santib santib commented Dec 29, 2024

No description provided.

@santib santib force-pushed the update-ci branch 3 times, most recently from fa2d83a to 5e68c7a Compare December 29, 2024 18:06
@santib santib force-pushed the update-ci branch 2 times, most recently from 04074b8 to 22c2030 Compare January 27, 2025 18:45
@santib santib force-pushed the update-ci branch 2 times, most recently from e1dac29 to 4f20408 Compare January 27, 2025 18:59
@santib santib requested a review from juanmanuelramallo March 5, 2025 13:20
@santib santib merged commit 115a119 into master Mar 5, 2025
34 checks passed
@santib santib deleted the update-ci branch March 5, 2025 13:21
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.

2 participants