3 Commits

Author	SHA1	Message	Date
Emmanuele Bassi	6bdca276a2	ci: Create new origin for forks ... We don't need to create a new remote and fetch its master if we're checking a merge request done on the upstream repository.	2020-06-29 13:14:40 +01:00
Emmanuele Bassi	8a6d5a77bb	ci: Fix style check script ... Propagate the exit status from clang-format-diff.py to avoid it being overwritten by the `echo` at the end of the script.	2020-02-25 17:13:39 +00:00
Emmanuele Bassi	76aba1f046	ci: Add a style check pass ... We should at least try to get the style check done by a machine, as opposed to have humans go through merge requests with coding style nitpicks.	2020-02-11 14:47:22 +00:00