Skip to content

GitLab

Commit 1ef53c55 authored by Ralf Jung's avatar Ralf Jung
Browse files
Options

bump to Coq 8.10.2

parent d2265de7
Pipeline #21854 passed with stage
    in 11 minutes and 22 seconds
    Hide whitespace changes
    Inline Side-by-side
    Showing with 4 additions and 5 deletions
    .gitlab-ci.yml
    View file @ 1ef53c55
    ......@@ -39,13 +39,13 @@ build-coq.8.11.dev:
    OPAM_PINS: "coq version 8.11.dev"
    CI_COQCHK: "1"
    build-coq.8.10.1:
    build-coq.8.10.2:
    <<: *template
    variables:
    OPAM_PINS: "coq version 8.10.1"
    OPAM_PINS: "coq version 8.10.2"
    OPAM_PKG: "coq-stdpp"
    DOC_DIR: "coqdoc@center.mpi-sws.org:stdpp"
    TIMING_CONF: "coq-8.10.1"
    TIMING_CONF: "coq-8.10.2"
    tags:
    - fp-timing
    ......@@ -63,4 +63,3 @@ build-coq.8.7.2:
    <<: *template
    variables:
    OPAM_PINS: "coq version 8.7.2"
    README.md
    View file @ 1ef53c55
    ......@@ -45,7 +45,7 @@ Notably:
    This version is known to compile with:
    - Coq version 8.7.2 / 8.8.2 / 8.9.1 / 8.10.1
    - Coq version 8.7.2 / 8.8.2 / 8.9.1 / 8.10.2
    ## Installing via opam
    ......
    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