diff options
| author | Matthias P. Braendli <matthias.braendli@mpb.li> | 2022-07-20 22:13:34 +0200 |
|---|---|---|
| committer | Matthias P. Braendli <matthias.braendli@mpb.li> | 2022-07-20 22:13:34 +0200 |
| commit | e61e565ad242e7758ee4f5ce2659ce7191c9217d (patch) | |
| tree | baf59302aa26740352f1920d3b4206757f88d7ad | |
| parent | 908da30369f2e25f9045a069a25b5c9d244762a0 (diff) | |
| download | mmbtools-doc-e61e565ad242e7758ee4f5ce2659ce7191c9217d.tar.gz mmbtools-doc-e61e565ad242e7758ee4f5ce2659ce7191c9217d.tar.bz2 mmbtools-doc-e61e565ad242e7758ee4f5ce2659ce7191c9217d.zip | |
Remove Travis-CI
| -rw-r--r-- | .travis-deploy.sh | 28 | ||||
| -rw-r--r-- | .travis.yml | 31 |
2 files changed, 0 insertions, 59 deletions
diff --git a/.travis-deploy.sh b/.travis-deploy.sh deleted file mode 100644 index 7ddae01..0000000 --- a/.travis-deploy.sh +++ /dev/null @@ -1,28 +0,0 @@ -#!/bin/bash -# -# This script is called by Travis-CI to deploy -# to github pages - -set -e - -# clear and re-create the out directory -rm -rf out || exit 0; -mkdir out - -# copy all output files to the out directory -cp mmbtools.pdf out/ - -# go to the out directory and create a *new* Git repo -cd out -git init - -git config user.name "Travis CI" -git config user.email "Travis-CI@opendigitalradio.org" -git add . -git commit -m "Deploy to GitHub Pages" - -# Force push from the current repo's master branch to the remote -# repo's gh-pages branch. (All previous history on the gh-pages branch -# will be lost, since we are overwriting it.) We redirect any output to -# /dev/null to hide any sensitive credential data that might otherwise be exposed. -git push --force --quiet "https://${GH_TOKEN}@${GH_REF}" master:gh-pages > /dev/null 2>&1 diff --git a/.travis.yml b/.travis.yml deleted file mode 100644 index e1591a8..0000000 --- a/.travis.yml +++ /dev/null @@ -1,31 +0,0 @@ -language: c -sudo: required -dist: trusty -notifications: - webhooks: - urls: - - https://webhooks.gitter.im/e/0a75d380046b2684c78e - on_success: change - on_failure: always - on_start: never -addons: &addons - apt: - packages: &packages - - texlive-latex-recommended - - texlive-latex-extra - - texlive-fonts-recommended - - texlive-fonts-extra - - texlive-science - - texlive-pictures - - latex-xcolor - - pgf - - dvipng - - cm-super -script: -- | - make - bash .travis-deploy.sh -env: - global: - - GH_REF: github.com/Opendigitalradio/mmbtools-doc.git - - secure: z2nAH5qIltqdv3FzEoxznkVX64yULzK2qQqmZdGaSbkqNonj8TbgGYXW25hx5L50tvpoqr9yLbDQv1tA+OeZueLWDaUkB7yTonCu92PFczUsGnf60TYc0kRoXORgGnM8CPcjNsEdrkWnbCOvHWj6rnFBgsnpA3n3a4O5ZU+ec2j8GGClVMTT+Cf63QT6ruGAVSKmk0BCLwqj8Ux2clL+0h2hUQV+AH3DNdfKuAeKjglBbyqKeklDvXvcVM8gBf7Q22lh6cs/pEnFxHULOdZROepeK909/fgfzar522fQMmmRuBeck/InhEZiuRi+KgEOxAEqC3ZTalLDH9gHqxDYQgqZX5C4NX0qowRgWnjSSrNDbgM1QsTfX89w2OoQyQ/gd6OzCkPEmM4YRsHS8UnowjsTLl5Qt7TbeAWfv6bVimdfOyvQpdOL3d70kQUdE/WZfehdaDM2wtYTsfYCckbw7EBgwrGU3LHABnY06cPOi36Bh9kmuNoMSGt0/LrL306OrLbcSquUCcrgKkwbnJlXK2R1oLsxEOiAzfsmXdsJB5kcBO9AApGU/b8oG8L4PDyqpe17czN9edg2vlmNIlvIhZAEUXGRMJYbmFJMi9lT3pfyMsw/V7zVPgMbwjSKsblm3Gt7wtgqaFoBdZr+qR5p2Dad4sdgP3LRSYi9ps6QFlc= |