Ignore doctests in 'test' step on CI

The CI step for `cargo test` runs all tests _and_ doctests at the
same time, followed by `cargo test --doc` which runs just doctests.
This actually means we have been running doctests twice when we only
intend to run them once.

This adds an explicit command of `cargo test --lib --bins --tests` to
run all tests _except_ the doctests, so that the doctests can run
separately with `cargo test --doc`.

.github/workflows/build-and-test.yaml

@@ -52,7 +52,7 @@ jobs:
 
       - name: Test
         id: test
-        run: cargo test --verbose
+        run: cargo test --lib --bins --tests --verbose
 
       - name: Doctest
         run: cargo test --doc --verbose