There used to be one in jenkins, but apparently, that's going to stay dead. I think we should have one easy to use piece of shell script that we can plug in the CI of the various libraries.

cc @aantron