Why are there tags like `build-1.3.0-release-212` ...

# announcements

[Paul Woitaschek]

Why are there tags like build-1.3.0-release-212 in the git repo? Did I miss a release? oO

[enleur]

it's just a regular CI build tag