.gitlab-ci.yml: omit redundant description in github status, report BENCHMARKS_TAG instead
Warning
Wouter Deconinck
created pipeline for commit
f1cb5b8c
, finished
For master
25 minutes 40 seconds, queued for 9 seconds