Ce serveur Gitlab sera éteint le 30 juin 2020, pensez à migrer vos projets vers les serveurs gitlab-research.centralesupelec.fr et gitlab-student.centralesupelec.fr !

  • Noam Postavsky's avatar
    some tweaks to travis tests · 979314dd
    Noam Postavsky authored
    - use github emacs mirror for travis test: repo.or.cz was down a few
      times; since github.com must be up to run anything anyway, it's
      preferable to rely on that instead.
    
    - run all the apt commands separately; there have been some intermittent
      failures, this should make it easier to diagnose.
    
    - suppress curl progress bar
    
    - show emacs --version before running tests
    979314dd
.travis.yml 656 Bytes