6 commits

Author	SHA1	Message	Date
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	34f739649c	[ci] fix patch name	2021-07-05 14:36:20 -07:00
JAremko	aa4547086d	[CI] Move documentation formatting to CircleCI	2021-07-05 14:30:55 -07:00