Update .gitlab-ci.yml file

Max Ole Elligerrequested to merge
include/comoproj-v2.6.0 into main

Set 8.16.1 as coq-version

Merge request reports