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/
[![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
-# - 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