From 67c6b725a6543cef05c74e5e2dfa066469e895ec Mon Sep 17 00:00:00 2001
From: Wen Kokke <wenkokke@users.noreply.github.com>
Date: Fri, 23 Oct 2020 11:36:49 +0200
Subject: [PATCH] Removed Travis integration.

---
 .travis.yml           | 73 -------------------------------------------
 README.md             |  1 -
 travis-build-cache.sh | 44 --------------------------
 3 files changed, 118 deletions(-)
 delete mode 100644 .travis.yml
 delete mode 100755 travis-build-cache.sh

diff --git a/.travis.yml b/.travis.yml
deleted file mode 100644
index cba5c4f1..00000000
--- a/.travis.yml
+++ /dev/null
@@ -1,73 +0,0 @@
-# Use new container infrastructure to enable caching
-sudo: false
-
-language: ruby
-
-# Caching so the next build will be fast too.
-cache:
-  bundler: true
-  timeout: 1500
-  directories:
-  - .versions
-  - $HOME/.stack
-  - $HOME/.agda
-  - $HOME/.local
-  - $HOME/agda-$AGDA_VERSION
-  - $HOME/agda-stdlib-$AGDA_STDLIB_VERSION
-  - $HOME/acknowledgements-master
-
-# Ensure necessary system libraries are present
-addons:
-  apt:
-    packages:
-      - epubcheck
-      - libgmp-dev
-      - libicu-dev
-
-# Ensure we run BASH and not SH
-env:
-  - SH=bash
-
-install:
-# Install Stack:
-- mkdir -p ~/.local/bin
-- export PATH=$HOME/.local/bin:$PATH
-- travis_retry curl -L https://www.stackage.org/stack/linux-x86_64 | tar xz --wildcards --strip-components=1 -C ~/.local/bin '*/stack'
-# Install Pandoc:
-- travis_retry curl -L https://github.com/jgm/pandoc/releases/download/2.9.2.1/pandoc-2.9.2.1-1-amd64.deb -o $HOME/pandoc.deb && sudo dpkg -i $HOME/pandoc.deb
-# Install agda, agda-stdlib, and acknowledgements:
-- travis_wait 60 make travis-install-agda
-- make travis-install-agda-stdlib
-- make travis-install-acknowledgements
-- ruby -S bundle install
-
-script:
-- agda --version
-- acknowledgements --version
-- pandoc --version
-- acknowledgements -i _config.yml >> _config.yml
-- make build         # build website
-- make build-history # build previous releases
-- make test-offline  # test website
-- make epub          # build EPUB
-- make epubcheck     # test EPUB
-
-before_deploy:
-- make clean
-- rm -rf hs/ epub/ extra/ papers/ .bundle/ vendor/ .versions/ *.agda-lib **/*.lagda.md **/*.sh Guardfile Gemfile Gemfile.lock Makefile .gitignore .travis.yml
-
-branches:
-  only:
-  - dev
-
-git:
-  depth: 1
-
-deploy:
-  provider: pages
-  skip-cleanup: true
-  github-token: $GITHUB_TOKEN
-  target-branch: master
-  edge: true
-  on:
-    branch: dev
diff --git a/README.md b/README.md
index 667b48bc..37823a64 100644
--- a/README.md
+++ b/README.md
@@ -9,7 +9,6 @@ next      : /Naturals/
 <!-- Status & Version Badges -->
 
 [![Calendar Version][plfa-calver]][plfa-latest]
-[![Build Status][plfa-status]][plfa-travis]
 [![Agda][agda-version]][agda]
 [![agda-stdlib][agda-stdlib-version]][agda-stdlib]
 
diff --git a/travis-build-cache.sh b/travis-build-cache.sh
deleted file mode 100755
index 339323f6..00000000
--- a/travis-build-cache.sh
+++ /dev/null
@@ -1,44 +0,0 @@
-#!/bin/bash
-
-# Dependencies:
-# - curl <https://curl.haxx.se/>
-# - yq <https://github.com/mikefarah/yq>
-
-# Modify .travis.yml:
-# - Remove 'script' and 'deploy' phases;
-# - Add 'merge_mode';
-# - Create JSON request.
-#
-body=$(cat .travis.yml \
-                       | yq w - script "echo 'Done'"\
-                       | yq d - before_deploy \
-                       | yq d - deploy \
-                       | yq p - config \
-                       | yq w - message "Build cache" \
-                       | yq w - branch dev \
-                       | yq w - merge_mode replace \
-                       | yq p - request -j)
-
-# Send request to Travis.
-#
-resp=$(curl -s -X POST \
-                  -H "Content-Type: application/json" \
-                  -H "Accept: application/json" \
-                  -H "Travis-API-Version: 3" \
-                  -H "Authorization: token $TRAVIS_TOKEN" \
-                  -d "$body" \
-                  https://api.travis-ci.org/repo/plfa%2Fplfa.github.io/requests)
-
-# Output response.
-#
-echo "$resp" \
-    | yq d - request.configs \
-    | yq d - request.config \
-    | yq r - --prettyPrint
-
-# Output configuration.
-#
-echo "$resp" \
-    | yq r - request.config \
-    | yq p - config \
-    | yq r - --prettyPrint