From fd6e6f1782e0935d99a7592c65c03c4caa9aed18 Mon Sep 17 00:00:00 2001
From: Zhen Zhang <izgzhen@gmail.com>
Date: Tue, 3 Jan 2017 16:58:56 +0800
Subject: [PATCH] Fix CI config
---
.gitlab-ci.yml | 23 +++++++++++++++++++++--
theories/.dir-locals.el | 1 +
2 files changed, 22 insertions(+), 2 deletions(-)
create mode 100644 theories/.dir-locals.el
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index ad67772..42407a3 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -1,15 +1,34 @@
image: ralfjung/opam-ci:latest
iris_atomic-coq8.5.3:
+ tags:
+ - coq
script:
# prepare
- - . build/opam-ci.sh 'coq 8.5.3' 'coq-mathcomp-ssreflect 1.6'
+ - . build/opam-ci.sh 'coq 8.5.3' 'coq-mathcomp-ssreflect 1.6.1'
# build
- 'time make -j8'
cache:
- key: "coq8.5"
+ key: "coq8.5.3"
paths:
- opamroot/
only:
- master
- ci
+
+iris-coq8.6:
+ tags:
+ - coq
+ script:
+ # prepare
+ - . build/opam-ci.sh 'coq 8.6' 'coq-mathcomp-ssreflect 1.6.1'
+ # build
+ - 'time make -j8'
+ cache:
+ key: "coq8.6"
+ paths:
+ - opamroot/
+ only:
+ - master
+ - ci
+ - timing
diff --git a/theories/.dir-locals.el b/theories/.dir-locals.el
new file mode 100644
index 0000000..a1777c6
--- /dev/null
+++ b/theories/.dir-locals.el
@@ -0,0 +1 @@
+((coq-mode . ((coq-prog-name . "/usr/local/bin/coqtop"))))
--
GitLab