From 2d5a04e0f276613563406f1d6a2af9955ba11b55 Mon Sep 17 00:00:00 2001
From: Ralf Jung
Date: Wed, 2 Sep 2020 15:40:28 +0200
Subject: CI: build Iris examples instead of lambda-Rust

---
 .gitlab-ci.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to '.gitlab-ci.yml')

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index cc8a4d34c9..ca5584bcb5 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -803,7 +803,7 @@ library:ci-geocoq:
 library:ci-hott:
   extends: .ci-template
 
-library:ci-lambda_rust:
+library:ci-iris:
   extends: .ci-template-flambda
 
 library:ci-math_classes:
-- 
cgit v1.2.3