]> https://gitweb.dealii.org/ - dealii.git/commitdiff
remove references to travis 10493/head
authorTimo Heister <timo.heister@gmail.com>
Wed, 10 Jun 2020 13:58:46 +0000 (09:58 -0400)
committerTimo Heister <timo.heister@gmail.com>
Wed, 10 Jun 2020 17:54:55 +0000 (13:54 -0400)
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.

.travis.yml [deleted file]
README.md
contrib/utilities/check_indentation.sh

diff --git a/.travis.yml b/.travis.yml
deleted file mode 100644 (file)
index 0b66533..0000000
+++ /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 ]
index 0501836be8be255c84b28b701529723bdc869883..c8946d18097474fbceff99a222ed8e2096a3b244 100644 (file)
--- 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 |
index 11d261706a25d54485feb6cdefc340789592e3d4..5380cac5bf47869cbae00b15ed3f35d517ba6f2c 100755 (executable)
 # 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 $?
 

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.