From 8de017f8a4e561a2833b311b1a6e79514e3e510b Mon Sep 17 00:00:00 2001 From: Kazuhiko Sakaguchi Date: Wed, 21 Apr 2021 23:20:10 +0900 Subject: Add mczify to CI --- .gitlab-ci.yml | 7 +++++++ 1 file changed, 7 insertions(+) (limited to '.gitlab-ci.yml') diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 52b03e455b..a2d62fe43d 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -806,6 +806,13 @@ library:ci-math_classes: library:ci-mathcomp: extends: .ci-template-flambda +library:ci-mczify: + extends: .ci-template-flambda + stage: stage-3 + needs: + - build:edge+flambda + - library:ci-mathcomp + library:ci-sf: extends: .ci-template -- cgit v1.2.3