-
Robert Speicher authored
Fix CI badge The previous code relied on having on ref stored in commit, however the ref was moved to the build. Fixes #3104 See merge request !1690
5c2892bf
To find the state of this project's repository at the time of any of these versions, check out
the tags.