Check usage/intro docs in README.md are in sync

This commit is contained in:
Joseph Birr-Pixton 2023-07-28 13:34:39 +01:00 committed by ctz
parent 763a17ef5f
commit 54a7771d90
1 changed files with 7 additions and 0 deletions

View File

@ -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