Skip to content
Snippets Groups Projects
Commit 059bbf74 authored by Jonas Kastberg's avatar Jonas Kastberg
Browse files

Merge branch 'master' of gitlab.mpi-sws.org:iris/actris

parents 336a6e9d e91d4d7d
No related branches found
No related tags found
No related merge requests found
Pipeline #65829 passed
Stage: build
    Hide whitespace changes
    Inline Side-by-side
    .gitlab-ci.yml
    + 1
    − 0
    View file @ 059bbf74
    ......@@ -33,6 +33,7 @@ build-coq.8.15.1:
    variables:
    OPAM_PINS: "coq version 8.15.1"
    DENY_WARNINGS: "1"
    OPAM_PKG: "1"
    trigger-iris.dev:
    <<: *template
    ......
    coq-actris.opam
    + 1
    − 1
    View file @ 059bbf74
    ......@@ -3,7 +3,7 @@ maintainer: "Robbert Krebbers"
    synopsis: "Actris: Session protocol reasoning in Iris"
    homepage: "https://gitlab.mpi-sws.org/iris/actris"
    authors: "Jonas Kastberg Hinrichsen, Daniël Louwrink, Jesper Bengtson, Robbert Krebbers"
    license: "BSD"
    license: "BSD-3-Clause"
    bug-reports: "https://gitlab.mpi-sws.org/iris/actris/issues"
    dev-repo: "git+https://gitlab.mpi-sws.org/iris/actris.git"
    ......
    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