Skip to content

Make CI builds easier to identify

Guido Gunther requested to merge guido.gunther/librem5-ci:gitrev into master

Make it easier to find out if one is running a CI build and if so which one.

Merge request reports