5 Commits

Author	SHA1	Message	Date
jeremy@jermolene.com	0b6a345208	Revert "CI: Only commit if there are changes" ... This reverts commit e4b2698380.	2022-04-01 21:01:33 +01:00
jeremy@jermolene.com	e4b2698380	CI: Only commit if there are changes ... Suggested by https://github.community/t/ignore-working-tree-clean/193304 We also get rid of `set -e` to simplify things	2022-04-01 11:04:18 +01:00
Robin Munn	0ce1843070	Simplify ci-push.sh: end script on any error (#4886) ... Use the bash -e option to exit on any error, so || exit 1 is not needed. As a bonus, this lets us get the actual return code from any failures.	2020-10-26 16:58:21 +00:00
ento	ef29d05ea4	Finish migration to GitHub Actions (#4836) ... * Fix 'if' condition syntax in Actions workflow Strings in expressions need to be in single quotes: https://docs.github.com/en/actions/reference/context-and-expression-syntax-for-github-actions#literals * Delete .travis.yml We moved to GitHub Actions * Inline git-related environment variables * Inline the build number variable * Rename TRAVIS_BRANCH to TW5_BUILD_BRANCH Since we don't use Travis anymore * Update developer documentation regardgin which CI service is used * Document the decision about setting env vars in the workflow file	2020-08-29 11:58:34 +01:00
ento	a206dccf0a	Add GitHub Actions workflow (#4793) ... * Parameterize strings that mention Travis This is so that the script can be shared with GitHub Actions while we make the transition. * Add GitHub Actions workflow More or less a direct translation of .travis.yml * Rename scripts that mention travis * Fix typo	2020-08-28 17:31:57 +01:00