Skip to content

GitLab

Commit e96ea1ec authored by Ralf Jung's avatar Ralf Jung
Browse files
Options

reduce to 1 job per pipeline

parent d7aa1f6e
Pipeline #20735 canceled with stage
    Show whitespace changes
    Inline Side-by-side
    Showing with 0 additions and 6 deletions
    .gitlab-ci.yml
    View file @ e96ea1ec
    ...@@ -27,12 +27,6 @@ variables: ...@@ -27,12 +27,6 @@ variables:
    ## Build jobs ## Build jobs
    build-coq.dev:
    <<: *template
    variables:
    OCAML: "ocaml-base-compiler.4.07.0"
    OPAM_PINS: "coq version dev"
    build-coq.8.9.0: build-coq.8.9.0:
    <<: *template <<: *template
    variables: variables:
    ......
    Markdown is supported
    0% or .
    You are about to add 0 people to the discussion. Proceed with caution.
    Finish editing this message first!
    Please register or to comment