Skip to content

chore: rename workflows files#37

Merged
vthiery merged 2 commits into
masterfrom
rename-ci-files
Jul 13, 2021
Merged

chore: rename workflows files#37
vthiery merged 2 commits into
masterfrom
rename-ci-files

Conversation

@vthiery

@vthiery vthiery commented Jul 13, 2021

Copy link
Copy Markdown
Owner

No description provided.

@vthiery
vthiery merged commit 8cc00d0 into master Jul 13, 2021
@vthiery
vthiery deleted the rename-ci-files branch July 13, 2021 10:04
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