diff options
author | Joseph Birr-Pixton <jpixton@gmail.com> | 2023-07-28 13:34:39 +0100 |
---|---|---|
committer | ctz <jpixton@gmail.com> | 2023-07-28 12:57:17 +0000 |
commit | 54a7771d90fe34563a3d6ac36a0f0510722ffb68 (patch) | |
tree | 25e45aa7927393c2ab5dea206817d9d5eca4bd3c /.github | |
parent | 763a17ef5f14bd3eeda8565fedd78ca0caea9a99 (diff) |
Check usage/intro docs in README.md are in sync
Diffstat (limited to '.github')
-rw-r--r-- | .github/workflows/build.yml | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index cb7d1714..38968963 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -173,6 +173,13 @@ jobs: env: RUSTDOCFLAGS: -Dwarnings + - name: Check README.md + run: | + cargo build --all-features + ./admin/pull-readme + ./admin/pull-usage + git diff --exit-code + coverage: name: Measure coverage runs-on: ubuntu-20.04 |