diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-12-05 13:01:28 -0500 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2017-12-05 13:01:28 -0500 |
| commit | 7f6a8aa499bb4083395ee85483dfe21d1a485b17 (patch) | |
| tree | 0f3db11b9005454f2d09b294d5c3ccb07332812f /.travis.yml | |
| parent | 1c8bb0e753f757b5f7cac38b1e681cf20bd6134f (diff) | |
Print out Coq version info on travis
Diffstat (limited to '.travis.yml')
| -rw-r--r-- | .travis.yml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/.travis.yml b/.travis.yml index 2787410fe..40e7c4573 100644 --- a/.travis.yml +++ b/.travis.yml @@ -46,6 +46,8 @@ before_install: before_script: - uname -a + - coqc --version + - echo | coqtop - source ./etc/ci/travis_keep_alive.sh - sudo update-alternatives --install /usr/bin/gcc gcc /usr/bin/gcc-7 60 --slave /usr/bin/g++ g++ /usr/bin/g++-7 |