diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 7e075b4..93896e7 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -1,4 +1,4 @@ -name: test +name: CI on: push: diff --git a/.travis.yml b/.travis.yml deleted file mode 100644 index 2468f57..0000000 --- a/.travis.yml +++ /dev/null @@ -1,28 +0,0 @@ -language: rust - -matrix: - include: - - rust: nightly - script: - - cargo test - - cargo build --tests --features no-panic --release - - rust: beta - script: - - cargo test - - rust: stable - script: - - cargo test - - rust: 1.15.0 - script: - - cargo build - - cargo build --features small - - name: Miri - install: - - MIRI_NIGHTLY=nightly-$(curl -s https://rust-lang.github.io/rustup-components-history/x86_64-unknown-linux-gnu/miri) - - echo "Latest nightly with Miri is $MIRI_NIGHTLY" - - rustup set profile minimal - - rustup default "$MIRI_NIGHTLY" - - rustup component add miri - - cargo miri setup - script: - - cargo miri test