From 8df509882d5b0954b40b576c4e9d3b3f742c619d Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Thu, 19 Oct 2017 19:14:03 +0200 Subject: rename ci-iris-coq -> ci-iris-lambda-rust --- Makefile.ci | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Makefile.ci') diff --git a/Makefile.ci b/Makefile.ci index b5a26d96e..54ebf211f 100644 --- a/Makefile.ci +++ b/Makefile.ci @@ -11,7 +11,7 @@ CI_TARGETS=ci-all \ ci-formal-topology \ ci-geocoq \ ci-hott \ - ci-iris-coq \ + ci-iris-lambda-rust \ ci-math-classes \ ci-math-comp \ ci-metacoq \ -- cgit v1.2.3