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.

Sign up for GitHub

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

Jump to bottom

CI: Don't push PRs to dockerhub #677

Merged

cookpa merged 1 commit into master from docker_main_only

Jun 21, 2024

Member

cookpa commented Jun 20, 2024

No description provided.


          CI: Don't push PRs to dockerhub

e83539a

cookpa marked this pull request as ready for review

June 20, 2024 20:21

coveralls commented Jun 20, 2024

coverage: 84.691%. remained the same
when pulling e83539a on docker_main_only
into d4d63cb on master.

cookpa merged commit cc46782 into master

2 checks passed

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet