CI: rename jobs for consistency

568f01fc · Ralf Jung · 74c0698f · 568f01fc
Commit 568f01fc authored Oct 19, 2017 by Ralf Jung
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -46,12 +46,12 @@ reverse-deps:
  only:
  - master

-build-coq8.7:
+build-coq.8.7:
  <<: *template
  variables:
    OPAM_PINS: "coq version 8.7.dev   coq-mathcomp-ssreflect version dev"

-build-coq8.6.1:
+build-coq.8.6.1:
  <<: *template
  variables:
    OPAM_PINS: "coq version 8.6.1   coq-mathcomp-ssreflect version 1.6.1"