diff --git a/.github/workflows/rust.yml b/.github/workflows/rust.yml
index 4ecea6e..913d47c 100644
--- a/.github/workflows/rust.yml
+++ b/.github/workflows/rust.yml
@@ -20,6 +20,7 @@ jobs:
       - run: rustup update ${{ matrix.toolchain }} && rustup default ${{ matrix.toolchain }}
       - run: rustup component add rustfmt
       - run: cargo build --verbose
-      - run: cargo test --verbose
       - run: cargo fmt --check
+      - run: cargo test --verbose
+
 
diff --git a/src/database/mod.rs b/src/database/mod.rs
index af44371..45e854d 100644
--- a/src/database/mod.rs
+++ b/src/database/mod.rs
@@ -446,7 +446,7 @@ fn test_sat_flexible_time_model() {
     let safe_spots = vec!["1".to_string(), "2".to_string()];
 
     // 400 milliseconds is enough for the solver hopefully
-    std::thread::sleep(std::time::Duration::from_millis(1000));
+    std::thread::sleep(std::time::Duration::from_millis(5000));
 
     let res1 = flexible_ressys.claim_request(ticket2, &safe_spots).unwrap();
     let res2 = flexible_ressys.claim_request(ticket1, &safe_spots).unwrap();