Skip to content
Snippets Groups Projects
Commit 827d17aa authored by Ike Mulder's avatar Ike Mulder
Browse files

Merge branch 'ci/update-iris-to-dev.2025-05-02.1.91f0ce99' into 'master'

Update Iris to dev.2025-05-02.1.91f0ce99.

See merge request !68
parents ba4aa3a7 f589d7a1
Branches
Tags
1 merge request!68Update Iris to dev.2025-05-02.1.91f0ce99.
Pipeline #122231 passed
...@@ -7,7 +7,7 @@ authors: "Ike Mulder <me@ikemulder.nl>" ...@@ -7,7 +7,7 @@ authors: "Ike Mulder <me@ikemulder.nl>"
homepage: "https://gitlab.mpi-sws.org/iris/diaframe/" homepage: "https://gitlab.mpi-sws.org/iris/diaframe/"
bug-reports: "https://gitlab.mpi-sws.org/iris/diaframe/-/issues" bug-reports: "https://gitlab.mpi-sws.org/iris/diaframe/-/issues"
depends: [ depends: [
"coq-iris" { (>= "dev.2025-03-28.0.fa344cbe" & <= "dev.2025-04-16.0.df5c2465" ) | = "dev" } "coq-iris" { (>= "dev.2025-03-28.0.fa344cbe" & <= "dev.2025-05-02.1.91f0ce99" ) | = "dev" }
"coq" { >= "8.19" & < "8.21~" } "coq" { >= "8.19" & < "8.21~" }
] ]
build: [make "-j%{jobs}%" "diaframe"] build: [make "-j%{jobs}%" "diaframe"]
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment