Skip to content

E
examples
Commit 1b2aa907 authored by Ralf Jung's avatar Ralf Jung
Browse files
Options

drop Coq 8.7

parent 636f6fb3
Pipeline #13460 passed with stage
    in 10 minutes and 54 seconds
    Hide whitespace changes
    Inline Side-by-side
    Showing with 1 addition and 6 deletions
    .gitlab-ci.yml
    View file @ 1b2aa907
    ...@@ -35,11 +35,6 @@ build-coq.8.8.2: ...@@ -35,11 +35,6 @@ build-coq.8.8.2:
    tags: tags:
    - fp-timing - fp-timing
    build-coq.8.7.2:
    <<: *template
    variables:
    OPAM_PINS: "coq version 8.7.2"
    build-iris.dev: build-iris.dev:
    <<: *template <<: *template
    variables: variables:
    ......
    README.md
    View file @ 1b2aa907
    ...@@ -6,7 +6,7 @@ Some example verification demonstrating the use of Iris. ...@@ -6,7 +6,7 @@ Some example verification demonstrating the use of Iris.
    This version is known to compile with: This version is known to compile with:
    - Coq 8.7.2 / 8.8.2 - Coq 8.8.2
    - A development version of [Iris](https://gitlab.mpi-sws.org/FP/iris-coq/) - 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) - 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