diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 4cc61dc0eedc2596519838bb75d22a9910065745..5ae4184c48b8e93ecfc974bdac51c7063f330f3e 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -18,7 +18,7 @@ variables: paths: - opamroot/ only: - - master + - /^master/ - /^ci/ except: - triggers @@ -31,7 +31,6 @@ build-coq.8.11.0: <<: *template variables: OPAM_PINS: "coq version 8.11.0" - OPAM_PKG: "coq-lambda-rust" tags: - fp-timing