ci: rearrange pipeline by logic (#9970)

* ci: rearrange pipeline by logic

* ci: rename docs script
This commit is contained in:
Afri Schoedon
2018-11-27 12:51:27 +01:00
committed by GitHub
parent 70ba050c06
commit c584221fa2
2 changed files with 12 additions and 10 deletions