diff options
author | EuAndreh <eu@euandre.org> | 2020-12-02 14:49:35 -0300 |
---|---|---|
committer | EuAndreh <eu@euandre.org> | 2020-12-02 14:49:35 -0300 |
commit | 02aaecaf59c9333a9ee6c65ebc015fefd6f56cc2 (patch) | |
tree | f28d8277d700f3b243ec1852358d896e7dd5da87 | |
parent | vps.scm: Use en_US.UTF-8 locale. (diff) | |
download | toph-02aaecaf59c9333a9ee6c65ebc015fefd6f56cc2.tar.gz toph-02aaecaf59c9333a9ee6c65ebc015fefd6f56cc2.tar.xz |
ci-build.sh: Build only check and publish
-rwxr-xr-x | scripts/ci-build.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/ci-build.sh b/scripts/ci-build.sh index 1a9ab78..f240d35 100755 --- a/scripts/ci-build.sh +++ b/scripts/ci-build.sh @@ -36,4 +36,4 @@ pushd "$CLONE" git config --global user.email git@euandre.org git config --global user.name 'EuAndreh CI' -./scripts/with-container.sh make check site publish +./scripts/with-container.sh make check publish |