JAremko
|
c0b68f4db1
|
Rearrange CI checks
|
2018-05-23 19:14:52 +03:00 |
|
JAremko
|
0bace89295
|
Sync with the new Spacedoc CLI
|
2018-05-23 19:14:19 +03:00 |
|
JAremko
|
eaec58c296
|
Improve CI logs
|
2018-05-23 19:13:57 +03:00 |
|
JAremko
|
92d1a06b67
|
Update Circle Ci scripts.
|
2018-05-20 18:06:52 +03:00 |
|
JAremko
|
75a2dfea1b
|
Remove Emacs24 tests from Circle CI.
|
2018-05-20 02:16:24 +03:00 |
|
JAremko
|
ecf6faedb7
|
Fix header
|
2017-09-24 21:47:19 +03:00 |
|
JAremko
|
430c6751eb
|
add PR check to CircleCI
|
2017-09-24 21:42:11 +03:00 |
|
JAremko
|
1a2daa69f9
|
Update CircleCI script
|
2017-09-23 23:34:49 +03:00 |
|
JAremko
|
7ad0b11a7d
|
[CI] Move the most of tests to CircleCI
|
2017-09-02 12:38:30 +03:00 |
|
JAremko
|
2af6ab9d39
|
Add headers to CircleCI Docker files
|
2017-09-02 12:38:17 +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 |
|
JAremko
|
06301b2212
|
Improve exporting/testing
|
2017-08-18 20:50:21 +03:00 |
|
syl20bnr
|
052636d237
|
Update header of build files and fix typo
|
2017-08-12 20:57:13 -04:00 |
|
JAremko
|
1974765e4a
|
Split CI
|
2017-08-12 20:48:42 -04:00 |
|