diff options
| author | Vincent Laporte | 2019-01-29 08:55:20 +0000 |
|---|---|---|
| committer | Vincent Laporte | 2019-01-29 08:55:20 +0000 |
| commit | 1f3536e89b7235aaa0007e8ab7298040407df8ba (patch) | |
| tree | 81917018e39ecd4750ba8d0e77c01dd3fc678281 /dev/ci | |
| parent | 10253b1e744e8075b708a9fe328f49c06bbc3fef (diff) | |
| parent | 95d977bf0b1825b7d822abbdd062cdb8c38051cb (diff) | |
Merge PR #9383: Remove travis
Reviewed-by: Zimmi48
Reviewed-by: vbgl
Diffstat (limited to 'dev/ci')
| -rw-r--r-- | dev/ci/README-developers.md | 6 | ||||
| -rwxr-xr-x | dev/ci/ci-wrapper.sh | 10 |
2 files changed, 3 insertions, 13 deletions
diff --git a/dev/ci/README-developers.md b/dev/ci/README-developers.md index 6663fbecf8..10b4f9b044 100644 --- a/dev/ci/README-developers.md +++ b/dev/ci/README-developers.md @@ -16,14 +16,12 @@ We are currently running tests on the following platforms: `./configure`. It should allow complying with this discipline without pain. -- Travis CI is used to test the compilation of Coq and run the test-suite on - macOS. - - AppVeyor is used to test the compilation of Coq and run the test-suite on Windows. - Azure Pipelines is used to test the compilation of Coq and run the - test-suite on Windows. It is expected to replace appveyor eventually. + test-suite on Windows and on macOS. It is expected to replace + appveyor eventually. You can anticipate the results of most of these tests prior to submitting your PR by running GitLab CI on your private branches. To do so follow these steps: diff --git a/dev/ci/ci-wrapper.sh b/dev/ci/ci-wrapper.sh index 12a70176c2..9ca8f76054 100755 --- a/dev/ci/ci-wrapper.sh +++ b/dev/ci/ci-wrapper.sh @@ -6,13 +6,6 @@ set -eo pipefail -function travis_fold { - if [ -n "${TRAVIS}" ]; - then - echo "travis_fold:$1:$2" - fi -} - CI_NAME="$1" CI_SCRIPT="ci-${CI_NAME}.sh" @@ -22,6 +15,5 @@ cd "${DIR}/../.." export TIMED=1 "${DIR}/${CI_SCRIPT}" 2>&1 | tee time-of-build.log -travis_fold 'start' 'coq.test.timing' && echo 'Aggregating timing log...' +echo 'Aggregating timing log...' python ./tools/make-one-time-file.py time-of-build.log -travis_fold 'end' 'coq.test.timing' |