Skip to content
This repository has been archived by the owner on Sep 13, 2023. It is now read-only.

Small workflow naming change #5

Merged
merged 1 commit into from
Apr 17, 2023
Merged

Small workflow naming change #5

merged 1 commit into from
Apr 17, 2023

Conversation

fabriziodemaria
Copy link
Member

No description provided.

@fabriziodemaria fabriziodemaria merged commit 7cfc223 into main Apr 17, 2023
@fabriziodemaria fabriziodemaria deleted the wf-name branch April 17, 2023 13:31
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant