hacl-star 0.0.6

HACL*, a formally verified cryptographic library for Rust (binding to hacl-c).
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12

language: rust
os:
    - linux
    - osx
rust: stable
cache: cargo

before_install:
  - if echo "$TRAVIS_COMMIT_MESSAGE" | grep -F -q "[skip travis]" ; then echo "[skip travis] has been found, exiting" && exit 0 ; else echo "[skip travis] has not been found, continuing" ; fi

script:
  - cargo test --features bindgen