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.
2020-05-17 00:12:49 +01:00
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).
2020-04-18 00:50:51 +01:00
c093807077
Add compilation CI
2020-03-07 23:49:33 +00:00
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.
2019-12-04 20:10:23 +00:00
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
2019-12-03 18:51:59 +00:00
edf23dc5a9
Fix GitLab CI format hook
...
The variable CI_COMMIT_BEFORE_SHA is not available in
normal merge requests
2019-12-03 15:28:30 +00:00
2ce7d9a708
Adding merge CI
...
Adds GitLab merge CI for code formatting.
2019-11-29 21:55:36 -08:00
Ian McInerney
Seth Hillbrand