Skip to content
Snippets Groups Projects
Select Git revision
  • caa1be62b6d7d9a481d4c2ee2d18dab3ea79dd50
  • master default protected
  • klee-analysis
  • v0.2.0
  • v0.1.2
  • v0.1.1
  • v0.1.0
7 results

.travis.yml

Blame
  • .travis.yml 523 B
    dist: trusty
    language: rust
    services: docker
    sudo: required
    
    rust: nightly
    
    env: TARGET=x86_64-unknown-linux-gnu
    matrix:
      include:
        - env: TARGET=thumbv6m-none-eabi
        - env: TARGET=thumbv7em-none-eabi
        - env: TARGET=thumbv7em-none-eabihf
        - env: TARGET=thumbv7m-none-eabi
    
    install:
      - sh ci/install.sh
      - source ~/.cargo/env || true
    
    script:
      - bash ci/script.sh
    
    cache: cargo
    before_cache:
      - chmod -R a+r $HOME/.cargo
    
    branches:
      only:
        - auto
        - try
    
    notifications:
      email:
        on_success: never