diff --git a/ci/script.sh b/ci/script.sh
index 6b85502462..af425da52f 100644
--- a/ci/script.sh
+++ b/ci/script.sh
@@ -3,12 +3,12 @@ set -euxo pipefail
 main() {
     if [ $TARGET = x86_64-unknown-linux-gnu ]; then
         cargo build
-        cargo test --tests
+        cargo test --test cfail
         return
     fi
 
     xargo build --target $TARGET
-    xargo test --target $TARGET --examples
+    xargo check --target $TARGET --examples
 }
 
 main
diff --git a/tests/cfail/interrupt.rs b/tests/cfail/interrupt.rs
index f7879f493c..66d2098be5 100644
--- a/tests/cfail/interrupt.rs
+++ b/tests/cfail/interrupt.rs
@@ -9,7 +9,6 @@ use rtfm::app;
 
 app! {
     //~^ error no associated item named `EXTI33` found for type
-    //~| error no associated item named `EXTI33` found for type
     device: stm32f103xx,
 
     tasks: {
diff --git a/tests/cfail/wrong-threshold.rs b/tests/cfail/wrong-threshold.rs
index b46f82def9..b97407150d 100644
--- a/tests/cfail/wrong-threshold.rs
+++ b/tests/cfail/wrong-threshold.rs
@@ -39,7 +39,6 @@ fn idle() -> ! {
 fn exti0(mut ot: &mut Threshold, r: EXTI0::Resources) {
     r.A.claim(&mut ot, |_a, mut _it| {
         //~^ error cannot borrow `ot` as mutable more than once at a time
-        //~| error cannot borrow `ot` as mutable more than once at a time
         // ERROR must use inner token `it` instead of the outer one (`ot`)
         r.B.claim(&mut ot, |_b, _| {})
     });