From: Timo Heister <timo.heister@gmail.com>
Date: Wed, 10 Jun 2020 13:58:46 +0000 (-0400)
Subject: remove references to travis
X-Git-Tag: v9.3.0-rc1~1449^2
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=refs%2Fpull%2F10493%2Fhead;p=dealii.git

remove references to travis

the second step after #10491 to replace travisci

We should probably give it a couple days before merging this. We also
need to remove the travis check as being "required" first.
---

diff --git a/.travis.yml b/.travis.yml
deleted file mode 100644
index 0b66533e9e..0000000000
--- a/.travis.yml
+++ /dev/null
@@ -1,32 +0,0 @@
-sudo : false
-
-notifications:
-  email: false
-
-language: C++
-
-compiler: 
-    - gcc
-
-cache: 
-  directories:
-    - programs
-
-addons:
-  apt:
-    packages:
-      - doxygen
-
-before_install:
-    - sudo apt-get -y install graphviz perl texlive-bibtex-extra
-
-install:
-    - ./contrib/utilities/download_clang_format
-
-script: 
-    - ./contrib/utilities/check_indentation.sh
-    - mkdir build
-    - cd build
-    - cmake -DDEAL_II_COMPONENT_DOCUMENTATION=ON -DDEAL_II_DOXYGEN_USE_MATHJAX=ON ..
-    - make -j documentation
-    - cat doxygen.log && ! [ -s doxygen.log ]
diff --git a/README.md b/README.md
index 0501836be8..c8946d1809 100644
--- a/README.md
+++ b/README.md
@@ -59,7 +59,7 @@ Continuous Integration Status:
 
 | System | Status | More information |
 | --- | --- | --- |
-| Indent | [![Build Status](https://travis-ci.org/dealii/dealii.png)](https://travis-ci.org/dealii/dealii) | See https://travis-ci.org |
+| Indent | ![indent](https://github.com/dealii/dealii/workflows/indent/badge.svg) | using GitHub actions |
 | Linux | [![Build Status](https://jenkins.tjhei.info/job/dealii/job/master/badge/icon)](https://jenkins.tjhei.info/job/dealii/job/master/) | See https://jenkins.tjhei.info |
 | MacOS | [![Build Status](https://jenkins.tjhei.info/job/dealii-OSX/job/master/badge/icon)](https://jenkins.tjhei.info/job/dealii-OSX/job/master/) | See https://jenkins.tjhei.info |
 | MacOS | [![Build Status](https://github.com/dealii/dealii/workflows/github-CI/badge.svg)](https://github.com/dealii/dealii/actions?query=workflow%3Agithub-CI) | See https://github.com/dealii/dealii/actions |
diff --git a/contrib/utilities/check_indentation.sh b/contrib/utilities/check_indentation.sh
index 11d261706a..5380cac5bf 100755
--- a/contrib/utilities/check_indentation.sh
+++ b/contrib/utilities/check_indentation.sh
@@ -25,12 +25,6 @@
 # script is important.
 #
 
-if [ "${TRAVIS_PULL_REQUEST}" = "false" ]; then 
-	echo "Running indentation test on master merge."
-else 
-	echo "Running indentation test on Pull Request #${TRAVIS_PULL_REQUEST}"
-fi
-
 # Run indent-all and fail if script fails:
 ./contrib/utilities/indent-all || exit $?