From 3830aba427e05c8e1386fb22ea430b68b6e33547 Mon Sep 17 00:00:00 2001 From: Pierre Rousselin Date: Fri, 17 Nov 2023 14:37:24 +0100 Subject: [PATCH] Fix mistake about iris in ci-basic-overlays The CI actually uses the iris version in iris-examples, not in LambdaRust. --- dev/ci/ci-basic-overlay.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/dev/ci/ci-basic-overlay.sh b/dev/ci/ci-basic-overlay.sh index 9e4c3015c39e..32415587c59f 100644 --- a/dev/ci/ci-basic-overlay.sh +++ b/dev/ci/ci-basic-overlay.sh @@ -84,7 +84,7 @@ project corn "https://github.com/coq-community/corn" "master" ######################################################################## # NB: stdpp and Iris refs are gotten from the opam files in the Iris -# and lambdaRust repos respectively. +# and iris_examples repos respectively. project stdpp "https://gitlab.mpi-sws.org/iris/stdpp" "" project iris "https://gitlab.mpi-sws.org/iris/iris" ""