CI: remove luacov
, maybe reopen it later.
#2456
Merged
luacov
, maybe reopen it later.
#2456