quickchecking CI tests

The changes reflected in this PR include the logic to test the
`quickcheking` crate itself. Rather that just validate that the
`quickchecking` crate builds in CI with `cargo check`, we can run
now `cargo test`.

1 files changed, 1 insertions, 1 deletions

diff --git a/ci/script.sh b/ci/script.sh
index b9e75892..91ea7c13 100755
--- a/ci/script.sh
+++ b/ci/script.sh
@@ -41,7 +41,7 @@ case "$BINDGEN_JOB" in
     "quickchecking")
         cd ./tests/quickchecking
         # TODO: Actually run quickchecks once `bindgen` is reliable enough.
-        cargo check
+        cargo test
         ;;
     *)
         echo "Error! Unknown \$BINDGEN_JOB: '$BINDGEN_JOB'"