4 Commits

Author	SHA1	Message	Date
Laurențiu Nicola	88cee24c6c	Enable thread-local coverage marks	2021-03-15 16:02:50 +02:00
Aleksey Kladov	842d8ad9c8	Compilation speed	2021-03-09 22:30:58 +03:00
Laurențiu Nicola	fc9eed4836	Use upstream cov-mark	2021-03-08 22:19:44 +02:00
Aleksey Kladov	3db64a400c	rename completion -> ide_completion ... We don't have completion-related PRs in flight, so lets do it	2021-02-17 17:53:31 +03:00