a959adf740
Add Ubuntu 20.04 CI config
2021-03-31 20:16:16 -04:00
e09aeeb189
Restore windows ci
2021-03-17 02:21:29 +00:00
b7bde07287
Disable windows ci for now
2021-03-14 00:22:08 +00:00
9a74dcd33d
Enable windows ci again
2020-12-30 17:36:26 +00:00
797175e0f2
Remove windows ci until the runner can be registered
2020-12-30 02:43:38 +00:00
d252adf255
Enable windows msvc ci for testing
2020-12-30 02:29:41 +00:00
b479dabad9
Move CI to Fedora 33 container since Fedora 31 is EOL
2020-12-21 13:50:08 +00:00
f9819a004a
Fix test formatting CI and change pipeline ordering
...
Gitlab 13.3 changed so now pipelines started by developers run
inside the main repo, even for MRs. So we must explicitly add
the source repo to the git environment and use it.
Also, explictily say the formatting test doesn't need any other jobs
so that it will run in parallel with the main build, otherwise it
won't run until the test stage starts.
2020-07-31 20:58:30 +00:00
6a2a4643d1
Refactor CI and include a Coverity scan build
2020-07-18 16:17:55 +01:00
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
Jon Evans
Mark Roszko
Ian McInerney
Seth Hillbrand