diff options
| -rw-r--r-- | .gitlab-ci.yml | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index ac4304da13..2f5a000169 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -278,9 +278,6 @@ ci-iris-lambda-rust: ci-ltac2: <<: *ci-template -ci-math-classes: - <<: *ci-template - ci-math-comp: <<: *ci-template-flambda |