Update docs/en/development/CI.md

Co-authored-by: Ivan Blinkov <github@blinkov.ru>
This commit is contained in:
Mike 2020-08-18 18:08:33 +03:00 committed by GitHub
parent 2d1013b849
commit 3b914ce76e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -53,8 +53,7 @@ write a user-readable message describing the change for [CHANGELOG.md](../whats-
### Push to dockerhub ### Push to dockerhub
Builds docker images used for build and tests. Builds docker images used for build and tests, then pushes them to DockerHub.
### Marker check ### Marker check