summaryrefslogtreecommitdiff
path: root/THANKS
diff options
context:
space:
mode:
authorAkim Demaille <akim.demaille@gmail.com>2019-05-11 11:27:44 +0200
committerAkim Demaille <akim.demaille@gmail.com>2019-05-19 09:45:27 +0200
commita1a847bfb5838492c07748071eb9365764049e61 (patch)
tree8041a7bbd75634e9d6c5b9f22dbc8d955b0fba03 /THANKS
parent3ac95de01af1b92b28ac27e39642f9fca3c1a283 (diff)
downloadbison-a1a847bfb5838492c07748071eb9365764049e61.tar.gz
CI: use a pipeline: first build the tarball, then check it
Build the tarball in one job, check it in many. Unfortunately no real gain in overall duration. With help from Clément Démoulins. * .travis.yml: here. Remove all the tricks that were used to be able to boostrap on old distros. (before_install): Merge into 'script', because before_install applies to all the jobs, and we don't want to run it for the 'compile' job.
Diffstat (limited to 'THANKS')
-rw-r--r--THANKS1
1 files changed, 1 insertions, 0 deletions
diff --git a/THANKS b/THANKS
index b14ee695..eb690d22 100644
--- a/THANKS
+++ b/THANKS
@@ -33,6 +33,7 @@ Bruce Lilly blilly@erols.com
Bruno Haible bruno@clisp.org
Charles-Henri de Boysson de-boy_c@epita.fr
Christian Burger cburger@sunysb.edu
+Clément Démoulins demoulins@lrde.epita.fr
Colin Daley colin.daley@outlook.com
Cris Bailiff c.bailiff+bison@awayweb.com
Cris van Pelt cris@amf03054.office.wxs.nl