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 2dafdb090b [ci] set bot repo via env var		2021-07-02 08:29:43 -07:00
..
org	[ci] Fix CircleCI stuff	2021-07-01 03:34:50 +03:00
update	[ci] set bot repo via env var	2021-07-02 08:29:43 -07:00
bot_init	Fix typo	2021-07-02 01:07:31 -07:00
config.yml	[ci] Reorder steps in CircleCI for built-in upd	2021-07-01 16:41:22 -07:00
PR_base	[CI] Fail job when CircleCI didn't set required vars	2020-06-23 19:20:25 +03:00
PR_rebased	[CI] Fail job when CircleCI didn't set required vars	2020-06-23 19:20:25 +03:00
select_pr_changed	[CI] move built-in auto update to CircleCI	2021-06-30 20:43:10 +03:00
shared	[ci] move bot init into separate file	2021-07-01 13:32:54 +03:00