Skip to content

ci: add workflow dispatch#137

Merged
y-lakhdar merged 3 commits intomainfrom
chore--release-ci
Apr 30, 2024
Merged

ci: add workflow dispatch#137
y-lakhdar merged 3 commits intomainfrom
chore--release-ci

Conversation

@y-lakhdar
Copy link
Copy Markdown
Contributor

No description provided.

@y-lakhdar y-lakhdar requested review from a team, fbeaudoincoveo, louis-bompart and olamothe and removed request for a team April 30, 2024 22:27
@y-lakhdar y-lakhdar merged commit d006252 into main Apr 30, 2024
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