Commit graph

4 commits

Author SHA1 Message Date
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