diff options
Diffstat (limited to 'ci/script.bash')
-rwxr-xr-x | ci/script.bash | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/ci/script.bash b/ci/script.bash index 0a7a3ee8..c53d62e2 100755 --- a/ci/script.bash +++ b/ci/script.bash @@ -17,3 +17,4 @@ fi cargo check --target "$TARGET" --verbose --lib --no-default-features cargo check --target "$TARGET" --verbose --lib --no-default-features --features git cargo check --target "$TARGET" --verbose --lib --no-default-features --features paging +cargo check --target "$TARGET" --verbose --lib --no-default-features --features git,paging |