4 Commits

Author	SHA1	Message	Date
flow.gunso	f9fd67b745	Forgot to exit on non-push pipeline trigger	2019-03-19 14:25:16 +01:00
flow.gunso	d4835d5bfb	Restrict the staging CI to pushes	2019-03-19 14:05:31 +01:00
flow.gunso	ca8ecfaeb4	Add GPLv3 headers	2019-03-18 19:10:05 +01:00
flow.gunso	c3907a672d	Move build/publish scripts to their own shell scripts	2019-03-15 11:14:41 +01:00