JAremko
|
04bddbb5b9
|
[ci] cleanup
|
2021-07-07 05:40:23 -07:00 |
|
JAremko
|
daf108cb1b
|
[ci] fix layers.org gen
|
2021-07-07 03:31:35 -07:00 |
|
JAremko
|
d78d8282f5
|
[ci] Handle the case when everything is up to date
|
2021-07-05 16:47:38 -07:00 |
|
JAremko
|
a2e1c2de2e
|
[ci] clean-up
|
2021-07-05 16:22:39 -07:00 |
|
JAremko
|
88cfc4bc67
|
[ci] fix ws in patches and use git apply
|
2021-07-05 15:47:43 -07:00 |
|
JAremko
|
6f8d6d5b3a
|
[ci] Don't mask push outputs (CircleCI masks secrets anyway)
|
2021-07-05 15:09:53 -07:00 |
|
JAremko
|
aa4547086d
|
[CI] Move documentation formatting to CircleCI
|
2021-07-05 14:30:55 -07:00 |
|
JAremko
|
85778b6383
|
[ci] Fix CircleCI stuff
|
2021-07-01 03:34:50 +03:00 |
|
JAremko
|
40ea399d8e
|
[CI] move built-in auto update to CircleCI
|
2021-06-30 20:43:10 +03:00 |