aboutsummaryrefslogtreecommitdiff
path: root/ci
diff options
context:
space:
mode:
authorHenrik Tjäder <henrik@tjaders.com>2020-04-21 08:36:22 +0000
committerHenrik Tjäder <henrik@tjaders.com>2020-04-21 08:36:22 +0000
commit0bd40dad7dc699b80747faedc938210de50a45d5 (patch)
treee3e05c8d0a08860a75f7bdb15b0be8543fc8ec83 /ci
parent61c0e66d11eaddb2e588546385e62230f66f0d00 (diff)
Temporarily disable extra test stub since tests are not merged yet
Diffstat (limited to 'ci')
-rw-r--r--ci/script.sh10
1 files changed, 5 insertions, 5 deletions
diff --git a/ci/script.sh b/ci/script.sh
index a7a4718..7b86e52 100644
--- a/ci/script.sh
+++ b/ci/script.sh
@@ -45,11 +45,11 @@ main() {
if [ $TRAVIS_RUST_VERSION = nightly ]; then
# Tests where required MSRV > 1.36
- local exs=(
- )
- for ex in ${exs[@]}; do
- cargo check --example $ex --target $T
- done
+ #local exs=(
+ #)
+ #for ex in ${exs[@]}; do
+ # cargo check --example $ex --target $T
+ #done
# multi-core compile-pass tests
pushd heterogeneous