Add new ci labels

[yangphysics]

See #58

[aiwonderland]

I tkink we need more labels (3~6 I guess)

[yangphysics]

No I like ci. But we can add it all (3 one)

[aiwonderland]

ci is too generic.

[aiwonderland]

Hey! You can add it 😞

[aiwonderland]

Okay then, we end up with three blue tags: workflows, build, infra plus an extra ci for convenience, all #1a73e8. Though ci is ambiguous, we keep it for daily quick tagging.