From 82dfd6db7ffeacd44bb320113115da12d35a6b11 Mon Sep 17 00:00:00 2001 From: David Tolnay Date: Tue, 5 May 2020 11:32:24 -0700 Subject: [PATCH] Remove Travis configuration --- .github/workflows/ci.yml | 2 +- .travis.yml | 28 ---------------------------- 2 files changed, 1 insertion(+), 29 deletions(-) delete mode 100644 .travis.yml 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