Skip to content

GitLab

Commit 2c09cf1f authored by Ralf Jung's avatar Ralf Jung
Browse files
Options

test against Coq 8.8.2, and use that for nightly builds as well

parent 6e1d449c
Pipeline #12715 passed with stage
    in 6 minutes and 33 seconds
    Hide whitespace changes
    Inline Side-by-side
    Showing with 5 additions and 5 deletions
    .gitlab-ci.yml
    View file @ 2c09cf1f
    ......@@ -26,12 +26,12 @@ variables:
    ## Build jobs
    build-coq.8.8.0:
    build-coq.8.8.2:
    <<: *template
    variables:
    OPAM_PINS: "coq version 8.8.0"
    OPAM_PINS: "coq version 8.8.2"
    TIMING_PROJECT: "iris-examples"
    TIMING_CONF: "coq-8.8.0"
    TIMING_CONF: "coq-8.8.2"
    tags:
    - fp-timing
    ......@@ -43,7 +43,7 @@ build-coq.8.7.2:
    build-iris.dev:
    <<: *template
    variables:
    OPAM_PINS: "coq version 8.7.2 coq-stdpp.dev git git+https://gitlab.mpi-sws.org/robbertkrebbers/coq-stdpp/#$STDPP_REV coq-iris.dev git git+https://gitlab.mpi-sws.org/FP/iris-coq.git#$IRIS_REV"
    OPAM_PINS: "coq version 8.8.2 coq-stdpp.dev git git+https://gitlab.mpi-sws.org/robbertkrebbers/coq-stdpp/#$STDPP_REV coq-iris.dev git git+https://gitlab.mpi-sws.org/FP/iris-coq.git#$IRIS_REV"
    except:
    only:
    - triggers
    ......
    README.md
    View file @ 2c09cf1f
    ......@@ -6,7 +6,7 @@ Some example verification demonstrating the use of Iris.
    This version is known to compile with:
    - Coq 8.7.2 / 8.8.0
    - Coq 8.7.2 / 8.8.2
    - A development version of [Iris](https://gitlab.mpi-sws.org/FP/iris-coq/)
    - The coq86-devel branch of [Autosubst](https://github.com/uds-psl/autosubst)
    ......
    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