Ian McInerney
8c3374398a
Don't interrupt compilation pipelines
Don't interrupt the compilation pipelines, instead let
them finish. That will ensure the author of the change
gets notified if their push breaks something.
6 years ago
Ian McInerney
1ba4710ab0
Shorten build artifact lifetime
These are large artifacts, so we shouldn't keep them around
for too long (they are only needed for the tests that run
immediately after build).
6 years ago
Ian McInerney
c093807077
Add compilation CI
6 years ago
Ian McInerney
4ebb591a5c
Allow the formatting test to fail
By allowing to to fail, we won't block the rest
of the CI tests, and also won't block the merge.
6 years ago
Ian McInerney
f0c386f5dd
Update GitLab CI script
Changes SHA detection to find the start of the MR and makes check_coding return non-zero when formatting changes needed
6 years ago
Ian McInerney
edf23dc5a9
Fix GitLab CI format hook
The variable CI_COMMIT_BEFORE_SHA is not available in
normal merge requests
6 years ago
Seth Hillbrand
2ce7d9a708
Adding merge CI
Adds GitLab merge CI for code formatting.
6 years ago