Thanks Aloïs for the information. I posted https://salsa.debian.org/go-team/infra/pkg-go-tools/-/merge_requests/6 to have this recorded in context, in the repo README where the next person looking at the repo and wondering what it is about is more likely to stumble across it. I am happy to iterate that README more if you or others have additional suggestions on what we should document.
For the fact that the CI does not seem to fail when it should fail I don't have any insight. I don't fully understand the CI code and what it is trying to do in detail.
