5 Commits

Author	SHA1	Message	Date
Etienne Champetier	4aeeeb65d4	build,circleci: enable CircleCI workflows ... Signed-off-by: Etienne Champetier <champetier.etienne@gmail.com>	2018-10-28 23:26:25 -04:00
Etienne Champetier	c48f3f6fbd	build,circleci: change exclude pattern ... Even when configured to only build PR, CircleCI always build the default branch `only: /pull.*/` seems like a good idea, but it fails when: - you are testing on the same repo, because github doesn't create a pull branch - when your repo is configured, because it see the push on your repo, prevent building this commit because it doesn't match the regexp, then when you do the PR CircleCI doesn't work In the end what we really want is `ignore: master` Signed-off-by: Etienne Champetier <champetier.etienne@gmail.com>	2018-10-28 22:01:58 -04:00
Etienne Champetier	cd315ec4e2	build,circleci: fixup pkgs list generation ... Signed-off-by: Etienne Champetier <champetier.etienne@gmail.com>	2018-10-28 20:18:01 -04:00
Etienne Champetier	4ebb869a94	build,circleci: make compile verbose to avoid timeout ... Signed-off-by: Etienne Champetier <champetier.etienne@gmail.com>	2018-10-23 16:40:04 -04:00
Etienne Champetier	4c1a67278f	build: add CircleCI ... The big advantages are: - everyone can download the build logs and the ipks - we use our own docker image - people with commit access can ssh into the build env The disadvantages: - need to push new commits to restart the build I haven't reimplemented the commit message checks as this should be replaced with a separate script doing only that so we can require it (https://help.github.com/articles/enabling-required-status-checks/) Signed-off-by: Etienne Champetier <champetier.etienne@gmail.com>	2018-10-23 16:35:12 -04:00