Verified Commit 13015d0c authored by Arvid Jakobsson's avatar Arvid Jakobsson
Browse files

DON'T SAVE: add test stanza to CI

parent b08fef97
Pipeline #141372651 passed with stage
in 9 minutes and 43 seconds
......@@ -29,9 +29,27 @@ coq:8.9:
coq:
extends: .build
after_script:
- ./scripts/test_coverage_report.sh
coverage: '/Coverage: \d+\/\d+ \(([^%]+%)\)/'
test_coq:
stage: build
image: coqorg/coq
before_script:
# - opam update -y
# - sudo apt-get update -y -q
script:
# - sudo chown -R coq:coq "$CI_PROJECT_DIR"
# - DEBIAN_FRONTEND=noninteractive sudo apt-get install -y -q libgmp-dev
# - opam switch ${COMPILER_EDGE}
# - opam pin add -k git -y -j ${NJOBS} coq-ott https://github.com/ott-lang/ott.git
# - opam repository add coq-extra-dev https://coq.inria.fr/opam/extra-dev
# - opam install -y -j ${NJOBS} dune coq-mi-cho-coq
# - opam pin add -k git -y -j ${NJOBS} --inplace-build --with-test coq-albert ./
# - eval $(opam env)
# - ./scripts/test_coverage_report.sh
- echo ' 26.33 % 3409/12945 Project coverage'
# should match: 26.33 % 3409/12945 Project coverage
# coverage: '/^\s*([^%]+ %\)\s*\d+\/\d+\s*Project coverage/'
coverage: '/^\s*([^%]+ %)\s*\d+\/\d+\s*Project coverage/'
artifacts:
when: always
paths:
......
......@@ -22,6 +22,7 @@ if [ ! -f coq-albert.opam ]; then
exit 1
fi
export BISECT_FILE=$(pwd)/_coverage_output/bisect
make coverage-clean
make coverage-setup
make test
......
Markdown is supported
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