Makefile: remove check-plugin from the static checks (#6887)

ref #4399 Since the plugin feature is hardly used and may be very time-consuming in the Gtihub Actions CI, this PR removes it from `make check`. Signed-off-by: JmPotato <ghzpotato@gmail.com>
tikv · Aug 3, 2023 · c8c5e1e · c8c5e1e
1 parent 27a3cc5
commit c8c5e1e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Makefile b/Makefile
@@ -143,7 +143,7 @@ install-tools:
 
 #### Static checks ####
 
-check: install-tools tidy static generate-errdoc check-plugin check-test
+check: install-tools tidy static generate-errdoc check-test
 
 static: install-tools
 	@ echo "gofmt ..."