JAremko
|
55264e9cd2
|
fix CI path
|
2021-01-08 10:26:08 +02:00 |
|
|
JAremko
|
bfed28d3c2
|
Auto update built-in
|
2021-01-08 10:12:33 +02:00 |
|
|
JAremko
|
48d9da825f
|
add cache to Travis CI
|
2020-08-29 03:39:06 +03:00 |
|
|
JAremko
|
d288a5cbab
|
[CI] store base_rev in file
|
2019-12-09 23:30:05 +02:00 |
|
|
JAremko
|
90f871272f
|
[CI] Fix doc fmt bot && cleanup
|
2019-12-09 23:15:32 +02:00 |
|
|
JAremko
|
f594ac78c9
|
Fix revision check
|
2019-12-09 22:48:42 +02:00 |
|
|
JAremko
|
67ffbd6d04
|
[CI] Do not exit prematurely.
|
2019-12-05 13:56:08 +02:00 |
|
|
JAremko
|
96546ceb4e
|
Use patches to fix docs
|
2019-12-05 13:32:49 +02:00 |
|
|
jaremko
|
d39057a23a
|
fix file path
|
2019-11-08 13:14:54 +00:00 |
|
|
jaremko
|
195ba33578
|
fix TravisCI
|
2019-11-06 17:07:25 +00:00 |
|
duianto
|
7c572fccdc
|
Update .travis.yml, use Emacs from latest Ubuntu
|
2019-10-31 07:10:43 +01:00 |
|
|
JAremko
|
0adcf6944a
|
re-enable html export
|
2019-05-07 13:44:48 +03:00 |
|
|
JAremko
|
0969208d77
|
Temporarily disable html export
|
2019-05-05 21:52:06 +03:00 |
|
|
JAremko
|
fbff2ca7bc
|
Doc fixes + some tags for testing
Add new LAYERS.org generator [WIP]
|
2019-04-28 07:03:09 +03:00 |
|
|
JAremko
|
b96051028a
|
[TravisCI] update hub && set [AF] PR branch
|
2018-10-14 00:34:20 +03:00 |
|
|
JAremko
|
931e9597af
|
[TravisCI] Select only .org files for autofix
|
2018-10-13 16:27:33 +03:00 |
|
|
JAremko
|
901c01b0de
|
[TravisCI] fix publishing
|
2018-10-13 15:00:30 +03:00 |
|
|
JAremko
|
8e4db48024
|
[TravisCI] Add documentation autofixer
|
2018-10-13 14:39:00 +03:00 |
|
|
JAremko
|
63d90cd516
|
Fix travis script.
|
2018-05-20 02:38:09 +03:00 |
|
|
JAremko
|
2c871eff6f
|
Use new spacedoc tools in Travis CI.
|
2018-05-20 02:16:04 +03:00 |
|