From 6c026f3bbb3d975b7198e90e314484b4f83880cd Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Micha=C3=ABl=20Meyer?= Date: Fri, 22 Mar 2024 12:08:06 +0100 Subject: [PATCH] Drop obsolete travis stuff --- .travis.yml | 18 ------------------ 1 file changed, 18 deletions(-) delete mode 100644 .travis.yml diff --git a/.travis.yml b/.travis.yml deleted file mode 100644 index ddc06c9..0000000 --- a/.travis.yml +++ /dev/null @@ -1,18 +0,0 @@ -os: linux -dist: xenial -language: java -env: - - XML_DIRECTORY="texts" - -addons: - apt: - packages: - - moreutils - - parallel - -before_script: - - git clone git://github.com/erc-dharma/project-documentation.git - -script: - - find $XML_DIRECTORY -name "*.xml" | parallel --gnu --will-cite -X -j8 -u "java -jar ./project-documentation/schema/validationTools/jing.jar http://www.stoa.org/epidoc/schema/latest/tei-epidoc.rng {}" - - find $XML_DIRECTORY -name "*.xml" | parallel --gnu --will-cite -X -j8 -u "java -jar ./project-documentation/schema/validationTools/jing.jar https://raw.githubusercontent.com/erc-dharma/project-documentation/master/schema/latest/DHARMA_Schema.rng {}"