Skip to content

switch CI to release builds#380

Merged
Milerius merged 1 commit intodevfrom
ci-release
Jul 27, 2020
Merged

switch CI to release builds#380
Milerius merged 1 commit intodevfrom
ci-release

Conversation

@tonymorony
Copy link
Copy Markdown

No description provided.

@tonymorony tonymorony marked this pull request as ready for review July 27, 2020 18:06
@tonymorony tonymorony requested a review from Milerius July 27, 2020 18:06
@Milerius Milerius merged commit 6e44bd4 into dev Jul 27, 2020
@Milerius Milerius deleted the ci-release branch November 8, 2020 05:52
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