|
config.yml
|
[CI] Check if PR needs rebase
|
2018-08-22 16:08:59 +03:00 |
|
format
|
[CI] Make formatting more convenient
|
2018-08-22 19:10:21 +03:00 |
|
PR_base
|
[CI] Check if PR needs rebase
|
2018-08-22 16:08:59 +03:00 |
|
PR_rebased
|
[CI] Check if PR needs rebase
|
2018-08-22 16:08:59 +03:00 |
|
shared
|
[CI] Check if PR needs rebase
|
2018-08-22 16:08:59 +03:00 |
|
test
|
Update Circle Ci scripts.
|
2018-05-20 18:06:52 +03:00 |
