Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Push latest master builds, improve docker steps #342

Merged
merged 1 commit into from
Aug 12, 2022
Merged

Conversation

andrcuns
Copy link
Owner

No description provided.

@codeclimate
Copy link

codeclimate bot commented Aug 12, 2022

Code Climate has analyzed commit e982c23 and detected 0 issues on this pull request.

The test coverage on the diff in this pull request is 100.0% (50% is the threshold).

This pull request will bring the total coverage in the repository to 99.0% (0.0% change).

View more on Code Climate.

@andrcuns andrcuns merged commit 004e70d into main Aug 12, 2022
@andrcuns andrcuns deleted the chore-update-ci branch August 12, 2022 19:20
@andrcuns andrcuns added the ci CI related changes label Aug 12, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
ci CI related changes
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant