Skip to content

Removed iron CI#19

Merged
ahcorde merged 1 commit intomainfrom
ahcorde/rolling/ci
May 23, 2025
Merged

Removed iron CI#19
ahcorde merged 1 commit intomainfrom
ahcorde/rolling/ci

Conversation

@ahcorde
Copy link
Contributor

@ahcorde ahcorde commented May 23, 2025

No description provided.

Signed-off-by: Alejandro Hernandez Cordero <ahcorde@gmail.com>
@ahcorde ahcorde self-assigned this May 23, 2025
@ahcorde ahcorde merged commit 0542397 into main May 23, 2025
2 checks passed
@ahcorde ahcorde deleted the ahcorde/rolling/ci branch May 23, 2025 16: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