diff options
| author | Etienne Champetier <champetier.etienne@gmail.com> | 2018-02-19 17:37:45 -0800 |
|---|---|---|
| committer | Etienne Champetier <champetier.etienne@gmail.com> | 2018-10-23 16:35:12 -0400 |
| commit | 4c1a67278f094b16ccd5a9a476082c465c1796f6 (patch) | |
| tree | 9b3deb1f9a44749fa9129ab9df028f54fc63e1ed /.circleci/README | |
| parent | 1afcc61601cb1e4c6238525f5d07c20e66e32ad9 (diff) | |
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>
Diffstat (limited to '.circleci/README')
| -rw-r--r-- | .circleci/README | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/.circleci/README b/.circleci/README new file mode 100644 index 000000000..3bd10119b --- /dev/null +++ b/.circleci/README @@ -0,0 +1,6 @@ +# Build/update the docker image + +docker pull debian:9 +docker build --rm . +docker tag <IMAGE ID> docker.io/champtar/openwrtpackagesci:latest +docker push docker.io/champtar/openwrtpackagesci:latest |