Skip to content

chore: update actions version#1

Merged
fvalle1 merged 1 commit into
mainfrom
fix-actions
May 5, 2026
Merged

chore: update actions version#1
fvalle1 merged 1 commit into
mainfrom
fix-actions

Conversation

@filippo-ferrando
Copy link
Copy Markdown
Member

No description provided.

@fvalle1 fvalle1 merged commit 1889870 into main May 5, 2026
1 check failed
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.

3 participants