Skip to content

Update actions#179

Merged
nicolas-chaix-didomi merged 2 commits into
mainfrom
chore/update-actions
May 21, 2026
Merged

Update actions#179
nicolas-chaix-didomi merged 2 commits into
mainfrom
chore/update-actions

Conversation

@nicolas-chaix-didomi
Copy link
Copy Markdown
Contributor

  • update versions
  • replace commit and push action

@nicolas-chaix-didomi nicolas-chaix-didomi merged commit be8567f into main May 21, 2026
3 checks passed
@nicolas-chaix-didomi nicolas-chaix-didomi deleted the chore/update-actions branch May 21, 2026 08:59
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