ci: workaround for Github broken elastic index for workflow runs [ski…

…p ci]

ci: workaround for Github broken elastic index for workflow runs [ski…

…p ci]

ci: workaround for Github broken elastic index for workflow runs [ski…

…p ci]

20.12

[skip ci] Try packaging in github workflow

[skip ci] Try packaging in github workflow

[skip ci] Try packaging in github workflow

[skip ci] Try packaging in github workflow

Try packaging in github workflow

Try packaging in github workflow