Skip to content

GitLab

Commit 05e5b389 authored by Ralf Jung's avatar Ralf Jung
Browse files
Options

bump to Coq 8.10.2

parent feaf69e5
Pipeline #21855 passed with stage
    in 16 minutes and 17 seconds
    Show whitespace changes
    Inline Side-by-side
    Showing with 4 additions and 4 deletions
    .gitlab-ci.yml
    View file @ 05e5b389
    ......@@ -39,14 +39,14 @@ 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-iris"
    DOC_DIR: "coqdoc@center.mpi-sws.org:iris"
    DOC_OPTS: "--external https://plv.mpi-sws.org/coqdoc/stdpp/ stdpp"
    TIMING_CONF: "coq-8.10.1"
    TIMING_CONF: "coq-8.10.2"
    tags:
    - fp-timing
    ......
    README.md
    View file @ 05e5b389
    ......@@ -18,7 +18,7 @@ definitions and some derived forms is available in
    This version is known to compile with:
    - Coq 8.8.2 / 8.9.1 / 8.10.1
    - Coq 8.8.2 / 8.9.1 / 8.10.2
    - A development version of [std++](https://gitlab.mpi-sws.org/iris/stdpp)
    For a version compatible with Coq 8.6, have a look at the
    ......
    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