diff options
author | Justus Winter <justus@sequoia-pgp.org> | 2019-08-22 16:43:34 +0200 |
---|---|---|
committer | Justus Winter <justus@sequoia-pgp.org> | 2019-08-22 20:18:14 +0200 |
commit | 919f9823325064f4a6a579a0307775b97706d9ff (patch) | |
tree | a1af8e3650f82c1103109cc971e498a2e62003bf | |
parent | b2b9daf36b6d631156c2c9090555e2c97f40a04f (diff) |
ci: Make sure the tool documentation is up-to-date.
- Fixes #309.
-rw-r--r-- | .gitlab-ci.yml | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index b09e149f..a77bb299 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -9,6 +9,11 @@ test: - cargo --version - clang --version - SEQUOIA_CTEST_VALGRIND=/usr/bin/valgrind make test + - make + - make -C tool update-usage + - if ! git diff --quiet ; then echo "Please run 'make -C tool update-usage' and commit the result." ; false ; fi + - make -C sqv update-usage + - if ! git diff --quiet ; then echo "Please run 'make -C sqv update-usage' and commit the result." ; false ; fi - cargo clean -p buffered-reader -p sequoia-rfc2822 -p sequoia-openpgp -p sequoia-openpgp-ffi -p sequoia-core -p sequoia-ffi -p sequoia-ffi-macros -p sequoia-ipc -p sequoia-net -p sequoia-store -p sequoia-tool -p sequoia-sqv -p sequoia-guide - find target -type f -atime +7 -delete - du -sh target |