Andrey Lushnikov e2d4379489 devops: use proper tags for self-hosted runner (#4480) ... Turns out github already has a reserved bot label called `ubuntu-18.04`, so marking our self-hosted bot this way was adding it to the pool of machines that are used here.		2020-11-18 11:02:49 -08:00
..
ISSUE_TEMPLATE	chore: added envinfo to the bug issue template (#2237)	2020-08-28 16:24:42 -07:00
workflows	devops: use proper tags for self-hosted runner (#4480)	2020-11-18 11:02:49 -08:00