From a9e638beaeb6488629dd038f1228b7f485db2b6c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Tom=C3=A1=C5=A1=20Zemanovi=C4=8D?= <tomas@heliax.dev>
Date: Tue, 25 Jul 2023 14:21:31 +0100
Subject: [PATCH] make: skip integration tests

The MASP proof generation is taking too long and timing out in CI.
Skipping until resolved.
---
 Makefile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Makefile b/Makefile
index ed82c5db8d..28406a085a 100644
--- a/Makefile
+++ b/Makefile
@@ -115,12 +115,12 @@ audit:
 
 test: test-unit test-e2e test-wasm
 
-# Integration and unit tests with coverage report
+# Unit tests with coverage report
 test-coverage:
 	$(cargo) +$(nightly) llvm-cov --output-dir target \
 		--features namada/testing \
 		--html \
-		-- --skip e2e -Z unstable-options --report-time
+		-- --skip e2e --skip integration -Z unstable-options --report-time
 
 # NOTE: `TEST_FILTER` is prepended with `e2e::`. Since filters in `cargo test`
 # work with a substring search, TEST_FILTER only works if it contains a string