Removed Travis integration.

This commit is contained in:
Wen Kokke 2020-10-23 11:36:49 +02:00
parent 5e0f54eb74
commit 67c6b725a6
3 changed files with 0 additions and 118 deletions

View file

@ -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

View file

@ -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]

View file

@ -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