Commit b5613302 authored by Jakob Botsch Nielsen's avatar Jakob Botsch Nielsen
Browse files

Remove Coq 8.4 and 8.5 from CI

parent 2ed6b578
Pipeline #10563 passed with stage
in 1 minute and 30 seconds
......@@ -19,12 +19,6 @@ variables:
- sudo chown -R coq:coq "$CI_PROJECT_DIR"
- make
coq:8.4:
extends: .build
coq:8.5:
extends: .build
coq:8.6:
extends: .build
......
dist: trusty
sudo: required
language: generic
services:
- docker
env:
global:
- NJOBS="2"
matrix:
- COQ_IMAGE="coqorg/coq:dev"
- COQ_IMAGE="coqorg/coq:latest"
install: |
# Prepare the COQ container
docker run -d -i --init --name=COQ -v ${TRAVIS_BUILD_DIR}:/home/coq/demo -w /home/coq/demo ${COQ_IMAGE}
docker exec COQ /bin/bash --login -c "
# This bash script is double-quoted to interpolate Travis CI env vars:
echo \"Build triggered by ${TRAVIS_EVENT_TYPE}\"
export PS4='+ \e[33;1m(\$0 @ line \$LINENO) \$\e[0m '
set -ex # -e = exit on failure; -x = trace for debug
#opam update -y
opam config list
opam repo list
opam list
"
before_script:
- |
docker exec COQ /bin/bash --login -c "
export PS4='+ \e[33;1m(\$0 @ line \$LINENO) \$\e[0m '
sudo chown -R coq:coq /home/coq/demo
"
script:
- echo -e "${ANSI_YELLOW}Building ${TRAVIS_REPO_SLUG}...${ANSI_RESET}" && echo -en 'travis_fold:start:build\\r'
- docker exec COQ /bin/bash --login -c "make -j${NJOBS} -k test"
- echo -en 'travis_fold:end:build\\r'
after_script:
- docker stop COQ
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment