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
13
14
15
16
17

environment:
  matrix:
    - TARGET: i686-pc-windows-msvc
    - TARGET: x86_64-pc-windows-msvc

install:
  - appveyor-retry appveyor DownloadFile https://win.rustup.rs/ -FileName rustup-init.exe
  - rustup-init.exe -y --default-host %TARGET%
  - set PATH=%PATH%;C:\Users\appveyor\.cargo\bin
  - rustc --version
  - cargo --version
  - git submodule update --init --recursive

build: false

test_script:
  - 'cargo test'