This repository has been archived on 2024-10-22. You can view files and clone it, but cannot push or open issues or pull requests.

Eugene Yaremenko a86694157e [CI] Fix committing		2021-08-26 01:37:03 +03:00
..
built_in	[ci] Handle the case when everything is up to date	2021-07-05 16:47:38 -07:00
org	[ci] cleanup	2021-07-07 05:40:23 -07:00
update	[CI] Fix committing	2021-08-26 01:37:03 +03:00
web	[ci] move html export to CircleCI	2021-07-08 05:30:06 -07:00
bot_init	[CI] Move documentation formatting to CircleCI	2021-07-05 14:30:55 -07:00
config.yml	[CI] Move documentation formatting to CircleCI	2021-07-05 14:30:55 -07:00
config_tmpl.yml	[ci] refactoring	2021-08-01 23:42:47 +03:00
PR_base	[CI] Move documentation formatting to CircleCI	2021-07-05 14:30:55 -07:00
PR_rebased	[CI] Move documentation formatting to CircleCI	2021-07-05 14:30:55 -07:00
select_pr_changed	[CI] Move documentation formatting to CircleCI	2021-07-05 14:30:55 -07:00
shared	[ci] refactoring	2021-08-01 23:42:47 +03:00