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

.travis.yml

Blame
  • .travis.yml 492 B
    dist: trusty
    languages: rust
    rust: nightly
    services: docker
    sudo: required
    
    matrix:
      include:
        - env: TARGET=x86_64-unknown-linux-gnu
        - env: TARGET=thumbv6m-none-eabi
        - env: TARGET=thumbv7m-none-eabi
        - env: TARGET=thumbv7em-none-eabi
        - env: TARGET=thumbv7em-none-eabihf
    
    script:
      - cargo generate-lockfile
      - sh ci/run-docker.sh $TARGET
    
    branches:
      only:
        - auto
        - try
    
    notifications:
      email:
        on_success: never
      webhooks: https://homu.herokuapp.com/travis