fix ci

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

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: {

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, _| {})
     });