Merge pull request #1449 from turt2live/travis/down-with-travis

Remove Travis CI configuration
pull/1454/head
Travis Ralston 6 years ago committed by GitHub
commit 6368b03280
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -1,16 +0,0 @@
language: go
go:
- 1.8
sudo: required
# we only need a single git commit
git:
depth: 1
install:
- sudo apt-get update
- sudo apt-get install python3 python3-dev
script:
- ./scripts/test-and-build.sh

@ -8,11 +8,8 @@ cd `dirname $0`/..
mkdir -p assets mkdir -p assets
if [ "$TRAVIS" != "true" ] # generate specification/proposals.rst
then ./scripts/proposals.py
# generate specification/proposals.rst
./scripts/proposals.py
fi
# generate the spec docs # generate the spec docs
./scripts/gendoc.py -d assets/spec ./scripts/gendoc.py -d assets/spec

Loading…
Cancel
Save