From: Adrián Arroyo Calle <adrian.arroyocalle@gmail.com>
Date: Sat, 16 Jan 2021 18:11:07 +0000 (+0100)
Subject: Delete Travis CI
X-Git-Tag: v0.9.0~158^2~3
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=def33a77dac63bf14e8fca37b03ce0546c112a78;p=scryer-prolog.git

Delete Travis CI
---

diff --git a/.travis.yml b/.travis.yml
deleted file mode 100644
index 001bb6b6..00000000
--- a/.travis.yml
+++ /dev/null
@@ -1,31 +0,0 @@
-language: rust
-cache: cargo
-os: linux
-dist: xenial
-
-before_script:
-  - cargo fetch
-
-jobs:
-  allow_failures:
-    env:
-      - CAN_FAIL=true
-  include:
-  - stage: "Stable: Build"
-    rust: stable
-    script: cargo rustc --verbose -- -D warnings
-    name: "Build Stable"
-  - stage: "Stable: Tests"
-    rust: stable
-    script: cargo test --verbose --all
-    name: "Tests Stable"
-  - stage: "Features"
-    rust: stable
-    script: cargo test --verbose --all --no-default-features --features num
-    name: "num Tests"
-    env: CAN_FAIL=true
-  - stage: "Beta: Build"
-  # - #
-    rust: beta
-    script: cargo rustc --verbose -- -D warnings
-    name: "Build Beta"