diff options
| author |  Gaëtan Gilbert <gaetan.gilbert@skyskimmer.net> | 2017-12-13 17:07:17 +0100 |
|---|---|---|
| committer | Gaëtan Gilbert <gaetan.gilbert@skyskimmer.net> | 2017-12-14 12:45:28 +0100 |
| commit | 7fc585a30ee5aaeb3463eb0c5dc317ffcee3ce53 (patch) | |
| tree | eccb1b76c4276ac764902dc18ea4b8ab9e20c6e8 /.circleci | |
| parent | f5adde067368cd6d0b3470be1253cb3629bad2c1 (diff) | |
Circle CI: remove warning jobs
Diffstat (limited to '.circleci')
| -rw-r--r-- | .circleci/config.yml | 46 |
1 files changed, 0 insertions, 46 deletions
diff --git a/.circleci/config.yml b/.circleci/config.yml index 437f5cd2e..96e935876 100644 --- a/.circleci/config.yml +++ b/.circleci/config.yml @@ -168,36 +168,6 @@ before_script: &before_script <<: *envvars EXTRA_PACKAGES: *timing-packages -.warnings-template: &warnings-template - <<: *params - steps: - - checkout - - restore_cache: - keys: - - coq-opam-cache-v1-{{ arch }}-{{ checksum ".circleci/config.yml" }}- - - coq-opam-cache-v1-{{ arch }}- # this grabs old cache if checksum doesn't match - - run: *before_script - - save_cache: - key: coq-opam-cache-v1-{{ arch }}-{{ checksum ".circleci/config.yml" }}- - paths: - - ~/.opam - - run: - name: Configure - command: | - source ~/.profile - ./configure -local -native-compiler ${NATIVE_COMP} ${EXTRA_CONF} - - - run: - name: Build - command: | - source ~/.profile - make -j ${NJOBS} coqocaml - environment: &warnings-variables - <<: *envvars - EXTRA_CONF: "-coqide byte -byte-only" - EXTRA_PACKAGES: *coqide-packages - EXTRA_OPAM: *coqide-opam - .ci-template: &ci-template <<: *params steps: @@ -259,16 +229,6 @@ jobs: COMPILER: *compiler-32bit EXTRA_PACKAGES: "gcc-multilib" - warnings: *warnings-template - - warnings-be: - <<: *warnings-template - environment: - <<: *warnings-variables - COMPILER: *compiler-be - CAMLP5_VER: *camlp5-ver-be - EXTRA_OPAM: *coqide-opam-be - documentation: *documentation-template documentation-be: @@ -384,7 +344,6 @@ workflows: main: jobs: - build - - warnings - validate: &req-main requires: - build @@ -424,18 +383,13 @@ workflows: - ci-unimath: *req-main - ci-vst: *req-main - # 32bit: - # jobs: - build-32bit - validate-32bit: &req-32bit requires: - build-32bit - test-suite-32bit: *req-32bit - # bleeding-edge: - # jobs: - build-be - - warnings-be - test-suite-be: &req-be requires: - build-be |