JAremko
|
c0508d1f77
|
[CircleCI] remove fmt check && add .org validation
|
2018-10-12 21:25:50 +03:00 |
|
JAremko
|
27b738e319
|
[CI] Check if PR needs rebase
|
2018-08-22 16:08:59 +03:00 |
|
JAremko
|
92d1a06b67
|
Update Circle Ci scripts.
|
2018-05-20 18:06:52 +03:00 |
|
JAremko
|
7ad0b11a7d
|
[CI] Move the most of tests to CircleCI
|
2017-09-02 12:38:30 +03:00 |
|
JAremko
|
f0bc44738d
|
Add new Docker files for CI
[tools&CI] Add arg -Q to Emacs calls where it is appropriate
|
2017-08-31 19:12:45 +03:00 |
|