diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index e2fd9f2485a1c052bbec4afa786289c34d874fb2..82d073631e7e237b527f8d32d23b98baad5fa3c5 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -23,13 +23,13 @@ variables: - master - /^ci/ -lrust-coq8.7: +build-coq8.7: <<: *template variables: COQ_VERSION: "8.7.dev" SSR_VERSION: "dev" -lrust-coq8.6.1: +build-coq8.6.1: <<: *template variables: COQ_VERSION: "8.6.1"