diff options
-rwxr-xr-x | ci/script.sh | 2 |
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'" |