f69895c80b
I'd like to use Homu immediately as a replacement for the github merge button, because I really dislike merge commits for single patches. I think it shouldn't be too hard to unify our existing PR testing with this. Pull request: #235 Approved by: jlebon
26 lines
531 B
YAML
26 lines
531 B
YAML
# We're just using a "stubbed out" Travis right now so we can
|
|
# use Homu <https://github.com/barosl/homu> to auto-squash
|
|
# etc.
|
|
#
|
|
# In the future we'll hook up better tests.
|
|
language: c
|
|
dist: trusty
|
|
addons:
|
|
apt:
|
|
packages:
|
|
- automake
|
|
- autotools-dev
|
|
script:
|
|
- env NOCONFIGURE=1 ./autogen.sh
|
|
|
|
notifications:
|
|
# This is Colin's personal Homu instance. We will
|
|
# also work on productizing this in Project Atomic.
|
|
webhooks: http://escher.verbum.org:54856/travis
|
|
email: false
|
|
|
|
branches:
|
|
only:
|
|
- auto
|
|
|